Skip to content

Actions: informalsystems/quint

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
2 workflow run results
2 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.14.4 release #19: Commit 21149a9 pushed by bugarela
October 2, 2023 14:32 2m 3s v0.14.4
v0.14.4
October 2, 2023 14:32 2m 3s
Release v0.14.3 release #18: Commit ed3a99d pushed by bugarela
September 19, 2023 18:23 2m 10s v0.14.3
v0.14.3
September 19, 2023 18:23 2m 10s