Skip to content

Actions: cda-tum/setup-z3

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 1.6.2 Release #23: Release v1.6.2 published by burgholzer
December 23, 2024 08:22 16s
December 23, 2024 08:22 16s
Release 1.6.1 Release #22: Release v1.6.1 published by burgholzer
October 11, 2024 08:10 15s
October 11, 2024 08:10 15s
Release 1.6.0 Release #21: Release v1.6.0 published by burgholzer
September 9, 2024 21:08 19s
September 9, 2024 21:08 19s
Release 1.5.0 Release #20: Release v1.5.0 published by burgholzer
August 19, 2024 08:21 12s
August 19, 2024 08:21 12s
Release 1.4.1 Release #19: Release v1.4.1 published by burgholzer
July 22, 2024 14:25 19s
July 22, 2024 14:25 19s
Release 1.4.0 Release #18: Release v1.4.0 published by burgholzer
May 13, 2024 09:57 17s
May 13, 2024 09:57 17s
Release 1.3.1 Release #17: Release v1.3.1 published by burgholzer
April 4, 2024 16:28 13s
April 4, 2024 16:28 13s
Release 1.3.0 Release #16: Release v1.3.0 published by burgholzer
January 2, 2024 09:49 16s
January 2, 2024 09:49 16s