generalize lime_sup_ge0 #2955
Triggered via pull request
October 8, 2024 09:45
affeldt-aist
synchronize
#1252
Status
Failure
Total duration
8m 36s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
37s
mathcomp
44s
mathcomp-analysis
6m 9s
mathcomp-analysis-single
6m 10s
Annotations
2 errors
mathcomp-analysis
Process completed with exit code 1.
|
mathcomp-analysis-single
Process completed with exit code 1.
|