Publish to opam · Workflow runs · mit-plv/rewriter · GitHub

Actions

All workflows
Workflows
- CI (Coq, Alpine) CI (Coq, Alpine)
- CI (Coq, docker) CI (Coq, docker)
- CI (Coq, opam) CI (Coq, opam)
- Copilot Copilot
- Dependabot Automerge Dependabot Automerge
- Dependabot Updates Dependabot Updates
- Publish to opam Publish to opam
Management
- Caches
- Deployments

Publish to opam

Actions

Loading...
Loading

2 workflow runs

2 workflow runs

v0.0.15 Publish to opam #2: Release v0.0.15 published by JasonGross

6m 31s

6m 31s

v0.0.14 Publish to opam #1: Release v0.0.14 published by JasonGross

4m 57s

4m 57s