Branch Checks

chore(ci): add prebuilt z3 release pipeline #684

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
License Headers	54s
Rust (build-arm64)	7m 6s
Python (build-arm64)	44s
Python (build-amd64)	45s
Rust (build-amd64)	3m 45s
	13m 14s