Skip to content

Merge branch 'tooling': do not instantiate nixpkgs, bump CI deps #102

Merge branch 'tooling': do not instantiate nixpkgs, bump CI deps

Merge branch 'tooling': do not instantiate nixpkgs, bump CI deps #102

Triggered via push April 27, 2024 11:55
Status Success
Total duration 2m 36s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in