Skip to content

chore(.nix): Don't use url litteral when fetching nixpkgs #451

chore(.nix): Don't use url litteral when fetching nixpkgs

chore(.nix): Don't use url litteral when fetching nixpkgs #451

Triggered via pull request November 29, 2024 09:58
@Tom-HubrechtTom-Hubrecht
synchronize #293
Status Success
Total duration 24m 51s
Artifacts

nix-action-8.16-mathcomp2.yml

on: pull_request_target
metacoq-template-coq
48s
metacoq-template-coq
mathcomp-fingroup
36s
mathcomp-fingroup
QuickChick
37s
QuickChick
mathcomp-finmap
35s
mathcomp-finmap
mathcomp-bigenough
1m 1s
mathcomp-bigenough
coquelicot
35s
coquelicot
relation-algebra
35s
relation-algebra
category-theory
53s
category-theory
metacoq-pcuic
36s
metacoq-pcuic
metacoq-translations
42s
metacoq-translations
mathcomp-algebra
44s
mathcomp-algebra
mathcomp-tarjan
36s
mathcomp-tarjan
async-test
46s
async-test
metacoq-template-pcuic
34s
metacoq-template-pcuic
metacoq-safechecker
33s
metacoq-safechecker
mathcomp-solvable
36s
mathcomp-solvable
fourcolor
39s
fourcolor
mathcomp-zify
40s
mathcomp-zify
multinomials
39s
multinomials
mathcomp-word
40s
mathcomp-word
addition-chains
35s
addition-chains
metacoq-quotation
35s
metacoq-quotation
metacoq-erasure
50s
metacoq-erasure
metacoq-safechecker-plugin
45s
metacoq-safechecker-plugin
mathcomp-field
36s
mathcomp-field
graph-theory
34s
graph-theory
mathcomp-algebra-tactics
34s
mathcomp-algebra-tactics
metacoq-erasure-plugin
37s
metacoq-erasure-plugin
mathcomp-real-closed
35s
mathcomp-real-closed
mathcomp-character
35s
mathcomp-character
Fit to window
Zoom out
Zoom in