Skip to content

fourcolor 1.4.0

fourcolor 1.4.0 #573

Triggered via pull request November 26, 2024 14:40
@vbglvbgl
synchronize #288
Status Success
Total duration 1h 2m 48s
Artifacts

nix-action-8.18.yml

on: pull_request_target
metacoq-safechecker
40s
metacoq-template-pcuic
34s
metacoq-translations
42s
mathcomp-algebra
45s
mathcomp-tarjan
47s
async-test
36s
extructures
40s
metacoq-erasure
35s
metacoq-quotation
46s
metacoq-safechecker-plugin
48s
mathcomp-solvable
53s
mathcomp-classical
53s
mathcomp-zify
46s
multinomials
40s
mathcomp-word
54s
addition-chains
1m 2s
metacoq-erasure-plugin
35s
mathcomp-field
40s
mathcomp-reals
42s
mathcomp-algebra-tactics
37s
mathcomp-real-closed
1m 5s
mathcomp-character
37s
mathcomp-analysis
1m 7s
mathcomp-reals-stdlib
40s
mathcomp-experimental-reals
35s
ElmExtraction
36s
RustExtraction
1m 54s
mathcomp-infotheo
58s
mathcomp-analysis-stdlib
35s