Skip to content
Makefile CI

Removing extractLsb from bitvec library and memory aliasing proofs #172

Sign in to view logs

Removing extractLsb from bitvec library and memory aliasing proofs

Removing extractLsb from bitvec library and memory aliasing proofs #172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
49s
build (macos-14)
33s
1m 22s