Add .NOTPARALLEL: to makefile #713
Triggered via pull request
February 25, 2025 14:32
SkySkimmer
SkySkimmer
opened
#786
Status
Success
Total duration
57m 31s
Artifacts
–
nix-action-coq-master.yml
on: pull_request_target
coq
1m 10s
coq-elpi-tests-stdlib
1m 47s
mathcomp-experimental-reals
2m 8s
coqeal
3m 41s
mathcomp-analysis-stdlib
10m 23s
odd-order
9m 33s