opam-repository

Remove opam-repositories from CI as it is no longer needed #61

Sign in to view logs

Triggered via push December 7, 2025 21:25

filipeom

main

Status Success

Total duration 6m 33s

Artifacts –

publish.yml

on: push