CI - Nix

Merge branch 'main' of github.com:agimus-project/colmpc into bugfix/b… #12

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix (ubuntu)	42m 0s
nix (macos)	42m 33s
	1h 24m 33s