Fix test #135
Triggered via pull request
November 30, 2023 11:48
SkySkimmer
opened
#405
Status
Success
Total duration
12m 43s
Artifacts
–
nix-action-coq-8.18.yml
on: pull_request_target
coq
33s
mathcomp-single
41s
Verdi
33s
autosubst
33s
coquelicot
27s
mathcomp-bigenough
35s
mathcomp-finmap
27s
reglang
28s
odd-order
29s