Skip to content

Rework Nix infrascture & CI#28

Merged
martijnbastiaan merged 2 commits intocchalmers:masterfrom
jaschutte:master
Jul 24, 2025
Merged

Rework Nix infrascture & CI#28
martijnbastiaan merged 2 commits intocchalmers:masterfrom
jaschutte:master

Commits

Commits on Jul 24, 2025