CI - Nix

Merge pull request #373 from Gepetto/update-gepetto #268

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix (ubuntu)	32s
check-macos-linux-nix	3s
nix (ubuntu)	1m 18s
check-macos-linux-nix	2s
	1m 55s