CI

readd base-unix dep, silence warnings #52

Sign in to view logs

Summary
Jobs
- Ubuntu
- MacOS
Run details
- Usage
- Workflow file

Triggered via push October 9, 2025 13:38

Firobe

dune-universe-v1.14

Status Success

Total duration 1m 4s

Artifacts –

CI.yml

on: push

Annotations

1 warning

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp