Release Dev

feat(prover): add native Rust policy prover with Z3 solver (#741) #171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compute Versions	32s
Build CLI (macOS)	3m 16s
Build CLI (Linux amd64)	3m 45s
Stage Python Wheels	3m 51s
Build CLI (Linux arm64)	3m 48s
build-gateway / Build gateway	46s
build-cluster / Build cluster	59s
Tag GHCR Images as Dev	0s
e2e	0s
Release Dev	0s
Trigger Wheel Publish	0s
	16m 57s