CI

chore: update project files #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
license-check	5s
test (ubuntu-latest, 3.12)	20s
test (ubuntu-latest, 3.11)	22s
test (windows-latest, 3.11)	27s
test (windows-latest, 3.12)	22s
test (macos-latest, 3.12)	16s
test (macos-latest, 3.11)	23s
falsification	0s
proof-verification	0s
	2m 15s