CI

readd base-unix dep, silence warnings #53

Sign in to view logs

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

Triggered via push October 9, 2025 13:47

Firobe

v1.14+dune

Status Success

Total duration 3m 52s

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