Skip to content

Actions: informalsystems/quint

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
15 workflow run results
15 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.21.0 release #34: Commit 4f6748d pushed by bugarela
June 17, 2024 01:14 1m 11s v0.21.0
v0.21.0
June 17, 2024 01:14 1m 11s
Release v0.20.0 release #33: Commit d763932 pushed by bugarela
May 22, 2024 16:38 1m 17s v0.20.0
v0.20.0
May 22, 2024 16:38 1m 17s
Release v0.19.4 release #32: Commit f044d23 pushed by bugarela
May 14, 2024 12:16 1m 9s v0.19.4
v0.19.4
May 14, 2024 12:16 1m 9s
Release v0.19.3 release #31: Commit c935b09 pushed by bugarela
May 7, 2024 13:14 1m 10s v0.19.3
v0.19.3
May 7, 2024 13:14 1m 10s
Release v0.19.2 release #30: Commit 6ad8f39 pushed by bugarela
April 9, 2024 17:29 1m 17s v0.19.2
v0.19.2
April 9, 2024 17:29 1m 17s
Release v0.19.1 release #29: Commit 2439aee pushed by bugarela
April 1, 2024 13:49 1m 15s v0.19.1
v0.19.1
April 1, 2024 13:49 1m 15s
Release v0.19.0 release #28: Commit 3994c6b pushed by bugarela
March 25, 2024 18:42 1m 13s v0.19.0
v0.19.0
March 25, 2024 18:42 1m 13s
Release v0.18.3 release #27: Commit a8020fa pushed by shonfeder
February 8, 2024 22:01 1m 7s v0.18.3
v0.18.3
February 8, 2024 22:01 1m 7s
Release v0.18.2 release #26: Commit a6e3baa pushed by shonfeder
January 26, 2024 15:14 1m 10s v0.18.2
v0.18.2
January 26, 2024 15:14 1m 10s
Release v0.18.1 release #25: Commit 19006a0 pushed by bugarela
January 16, 2024 23:13 1m 12s v0.18.1
v0.18.1
January 16, 2024 23:13 1m 12s
Release v0.18.0 release #24: Commit 8efb507 pushed by shonfeder
January 3, 2024 19:04 1m 13s v0.18.0
v0.18.0
January 3, 2024 19:04 1m 13s
Release v0.17.1 release #23: Commit 69983ce pushed by bugarela
December 5, 2023 18:44 1m 14s v0.17.1
v0.17.1
December 5, 2023 18:44 1m 14s
Release v0.17.0 release #22: Commit 94b157a pushed by shonfeder
December 4, 2023 13:41 1m 8s v0.17.0
v0.17.0
December 4, 2023 13:41 1m 8s
Release v0.16.0 release #21: Commit 2ee8773 pushed by shonfeder
November 20, 2023 18:20 1m 18s v0.16.0
v0.16.0
November 20, 2023 18:20 1m 18s
Release v0.15.0 release #20: Commit e1a9804 pushed by bugarela
November 8, 2023 20:26 1m 10s v0.15.0
v0.15.0
November 8, 2023 20:26 1m 10s