chore(.nix): Don't use url litteral when fetching nixpkgs #783
Triggered via pull request
November 29, 2024 09:58
Tom-Hubrecht
Tom-Hubrecht
synchronize
#293
Status
Success
Total duration
24m 45s
Artifacts
–
nix-action-8.16.yml
on: pull_request_target
coq
36s
HoTT
34s
Ordinal
38s
bbv
39s
coq-record-update
36s
coq-shell
34s
coqide
35s
dpdgraph
34s
high-school-geometry
38s
itauto
39s
metalib
35s
semantics
34s
smtcoq
36s
tlc
35s
category-theory
39s
gappalib
40s
trakt
39s
coq-hammer
35s
coq-lsp
41s
relation-algebra
34s
topology
39s
mathcomp-tarjan
34s
extructures
39s
interval
2m 27s
corn
36s
vcfloat
43s
Verdi
33s
goedel
39s
iris-named-props
38s
VST
44s
mathcomp-experimental-reals
1m 9s
mathcomp
35s
mathcomp-infotheo
39s
mathcomp-analysis-stdlib
39s
mathcomp-apery
42s
metacoq
45s