Skip to content

Merge branch 'master' into jose/namespaces #74

Merge branch 'master' into jose/namespaces

Merge branch 'master' into jose/namespaces #74

Triggered via push October 26, 2023 08:01
Status Success
Total duration 20m 51s
Artifacts

nix.yml

on: push
Matrix: build-and-cache
Fit to window
Zoom out
Zoom in