openlock release

ci(release): pin portable ISA baseline for bundled z3 (fix SIGILL on … #23

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build macOS aarch64	24m 50s
Build Linux amd64	1h 0m 45s
Build Linux arm64	35m 42s
Release	11s
	2h 1m 28s