Skip to content

Merge pull request #438 from hacspec/make-devshell-lighter #1050

Merge pull request #438 from hacspec/make-devshell-lighter

Merge pull request #438 from hacspec/make-devshell-lighter #1050

Triggered via push January 16, 2024 20:57
Status Skipped
Total duration 3s
Artifacts
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in