Build Eurydice and run tests

Merge pull request #134 from AeneasVerif/protz_relax #550

Sign in to view logs

Triggered via push January 11, 2025 02:37

msprotz

main

Status Success

Total duration 7m 1s

Artifacts –

nix.yaml

on: push

charon-pin-is-forward

charon-pin-is-merged