Makefile CI

Removing extractLsb from bitvec library and memory aliasing proofs #178

Sign in to view logs

Triggered via push September 30, 2024 18:34

pennyannn

yppe/extractLsb

Status Success

Total duration 14m 1s

Artifacts –

makefile.yml

on: push

Matrix: build

Annotations

1 warning

build (macos-14)

Cache save failed.