Skip to content

Merge branch 'devel' into nix #56

Merge branch 'devel' into nix

Merge branch 'devel' into nix #56

Triggered via push October 7, 2024 15:44
Status Success
Total duration 1m 3s
Artifacts

nix.yml

on: push
Matrix: tests
Fit to window
Zoom out
Zoom in