Build Eurydice and run tests

Merge pull request #4 from AeneasVerif/nix #7

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push January 18, 2024 06:39

W95Psp

main

Status Success

Total duration 44m 42s

Billable time 45m

Artifacts –

nix.yaml

on: push