Skip to content
Nix CI for bundle master

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

Sign in to view logs

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

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

Triggered via push November 29, 2024 14:55
@vbglvbgl
pushed 858ff8d
master
Status Success
Total duration 3m 45s
Artifacts –

nix-action-master.yml

on: push
coq
38s
coq
coq-shell
36s
coq-shell
Fit to window
Zoom out
Zoom in