chore(.nix): Don't use url litteral when fetching nixpkgs #714
vbglnix-action-8.17.yml
on: push
coq
34s
HoTT
35s
LibHyps
35s
Ordinal
37s
bbv
34s
coq-lsp
38s
coq-record-update
35s
coq-shell
35s
coqide
38s
coqutil
1m 34s
dpdgraph
34s
high-school-geometry
35s
itauto
34s
metalib
35s
pocklington
34s
rewriter
34s
semantics
34s
serapi
35s
smtcoq
39s
graph-theory
37s
mathcomp-experimental-reals
53s
coqeal
35s
mathcomp
1m 3s
mathcomp-infotheo
39s
mathcomp-analysis-stdlib
1m 16s