Build Eurydice and run tests

Merge pull request #130 from AeneasVerif/protz_booleans #542

Sign in to view logs

Triggered via push January 9, 2025 23:41

msprotz

main

Status Success

Total duration 14h 35m 45s

Artifacts –

nix.yaml

on: push

charon-pin-is-forward

charon-pin-is-merged