Makefile CI

Removing extractLsb from bitvec library and memory aliasing proofs #175

Sign in to view logs

Triggered via push September 30, 2024 18:26

pennyannn

yppe/extractLsb

Status Success

Total duration 12m 38s

Artifacts –

makefile.yml

on: push

Matrix: build

Annotations

1 warning

build (macos-14)

Cache save failed.