CI

Merge pull request #248 from rocq-prover/opam-instructions #594

Sign in to view logs

Triggered via push March 31, 2026 13:00

mattam82

main

Status Success

Total duration 8m 2s

Artifacts –

ci.yml

on: push

Matrix: Build and test

Annotations

1 warning

Build and test (macos-latest, 5.2.0)

These files were overwritten during the `brew link` step: