Skip to content
Makefile CI

Removing extractLsb from bitvec library and memory aliasing proofs #174

Sign in to view logs

Removing extractLsb from bitvec library and memory aliasing proofs

Removing extractLsb from bitvec library and memory aliasing proofs #174

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
7m 28s
build (macos-14)
7m 48s
15m 16s