CaDiCaL

build(deps): bump install-pinned/maturin #133

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (ubuntu-latest)	1m 16s
Build and test (macos-latest)	1m 14s
	2m 30s