chore(.nix): Don't use url litteral when fetching nixpkgs #588
Triggered via pull request
November 29, 2024 09:58
Tom-Hubrecht
Tom-Hubrecht
synchronize
#293
Status
Success
Total duration
25m 8s
Artifacts
–
nix-action-8.18.yml
on: pull_request_target
coq
35s
HoTT
38s
LibHyps
37s
Ordinal
35s
bbv
36s
coq-lsp
38s
coq-record-update
40s
coq-shell
36s
coqide
37s
coqutil
36s
dpdgraph
34s
high-school-geometry
38s
itauto
38s
metalib
34s
pocklington
35s
rewriter
35s
semantics
35s
serapi
39s
smtcoq
36s
vscoq-language-server
41s
waterproof
38s
relation-algebra
1m 16s
Verdi
37s
mathcomp-tarjan
36s
interval
41s
graph-theory
36s
mathcomp-experimental-reals
43s
coqeal
46s
mathcomp
50s
ssprove
39s
mathcomp-infotheo
36s
mathcomp-analysis-stdlib
39s