Repository navigation

Run Tests

Update dependency: deps/uv2nix #2797

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Version Bump	29s
Code Quality Checks	1m 4s
Conformance Tests	45s
Prover Tests	1s
Nix (ARM64)	59s
Nix (normal)	45s
	4m 3s