All Workflows

Other workflows 1

publish-image.yml

5 workflow runs

Actor

All actors genichin

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

Create status badge

chore(release): bump version to 0.4.0

#5:Commit 80cc6c0d73 pushed by genichin

v0.4.0

2026-10-18 12:46:59 +00:00

0s

View workflow file

docs: formalize issue 61 proofline specification

#4:Commit f8ad591f0d pushed by genichin

v0.3.0

2026-10-18 12:46:59 +00:00

0s

View workflow file

merge: integrate issue 57 image publication

#3:Commit 03e50dbc26 pushed by genichin

v0.2.0

2026-10-18 12:46:59 +00:00

0s

View workflow file

fix(release): package runtime SQL migrations

#2:Commit 90b72863a2 pushed by genichin

v0.1.1

2026-10-18 12:46:59 +00:00

0s

View workflow file

fix(ci): use preserved helper artifact path

#1:Commit 46904621ff pushed by genichin

v0.1.0

2026-10-18 12:46:58 +00:00

0s

View workflow file