ci

CI/CD: Change to `big-runner-1` #834

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	17m 41s
code generation	3m 1s
build	5m 51s
security_audit	3m 3s
verified_build	16m 9s
cargo test	17m 33s
	1h 3m 18s