Build Eurydice and run tests

Relax failing assertion #549

Sign in to view logs

Triggered via pull request January 11, 2025 00:04

msprotz

opened #134

protz_relax

Status Success

Total duration 6m 58s

Artifacts –

nix.yaml

on: pull_request

charon-pin-is-forward

charon-pin-is-merged