.github/workflows/main.yml

dune/opam: fix hollight version to 3.0.0 #1141

Sign in to view logs

Triggered via push August 1, 2025 12:38

fblanqui

main

Status Success

Total duration 15m 32s

Artifacts –

main.yml

on: push

Matrix: ci