CI

chore: update project files #78

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (windows-latest, 3.11)	1m 27s
test (windows-latest, 3.12)	1m 32s
test (ubuntu-latest, 3.12)	53s
test (macos-latest, 3.12)	38s
test (ubuntu-latest, 3.11)	54s
license-check	5s
test (macos-latest, 3.11)	42s
falsification	11m 5s
proof-verification	20s
	17m 36s