Build Eurydice and run tests

Merge pull request #133 from AeneasVerif/protz_inlining #548

Sign in to view logs

Triggered via push January 10, 2025 22:33

msprotz

main

Status Success

Total duration 6m 58s

Artifacts –

nix.yaml

on: push

charon-pin-is-forward

charon-pin-is-merged