fixes #1123 (unusable lemma) #2121
Triggered via pull request
December 26, 2023 05:36
affeldt-aist
affeldt-aist
synchronize
#1124
Status
Success
Total duration
9m 36s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-master.yml
on: pull_request_target
coq
33s
mathcomp
36s
mathcomp-analysis
7m 34s
mathcomp-analysis-single
6m 43s