Fix test #402
Triggered via pull request
November 30, 2023 11:48
SkySkimmer
opened
#405
Status
Success
Total duration
13m 23s
Artifacts
–
nix-action-coq-8.16.yml
on: pull_request_target
coq
37s
mathcomp-single
35s
QuickChick
26s
Verdi
33s
autosubst
32s
category-theory
32s
mathcomp-bigenough
32s
mathcomp-finmap
34s
reglang
26s
relation-algebra
33s
interval
32s
odd-order
34s