.github/workflows/cd.yml

v2.0.3+coq8.18 #22

Sign in to view logs

Triggered via release December 4, 2023 08:10

rtetley

published v2.0.3+coq8.18

Status Success

Total duration 9m 59s

Artifacts –

cd.yml

on: release

Matrix: publish-opam-package