Skip to content
metadata

Update CI workflows and opam lock file to match current master #672

Sign in to view logs

Update CI workflows and opam lock file to match current master

Update CI workflows and opam lock file to match current master #672

Triggered via push May 7, 2026 11:02
@CopilotCopilot
pushed 98fa91e
region-escape
Status Success
Total duration 22s
Artifacts –

metadata.yml

on: push
cff-validate
11s
cff-validate
Matrix: zenodo-validate
Fit to window
Zoom out
Zoom in