Skip to content

Actions: Kukovec/apalache

Actions

prepare-release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prepare-release.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare-release prepare-release #9: Scheduled
January 1, 2024 00:48 2s master
master
January 1, 2024 00:48 2s
prepare-release prepare-release #8: Scheduled
December 25, 2023 00:43 2s master
master
December 25, 2023 00:43 2s
prepare-release prepare-release #7: Scheduled
December 18, 2023 00:44 2s master
master
December 18, 2023 00:44 2s
prepare-release prepare-release #6: Scheduled
December 11, 2023 00:44 2s master
master
December 11, 2023 00:44 2s
prepare-release prepare-release #5: Scheduled
December 4, 2023 00:43 2s master
master
December 4, 2023 00:43 2s
prepare-release prepare-release #4: Scheduled
November 27, 2023 00:43 3s master
master
November 27, 2023 00:43 3s
prepare-release prepare-release #3: Scheduled
November 20, 2023 00:43 2s master
master
November 20, 2023 00:43 2s
prepare-release prepare-release #2: Scheduled
November 13, 2023 00:43 2s master
master
November 13, 2023 00:43 2s
prepare-release prepare-release #1: Scheduled
November 6, 2023 00:42 2s master
master
November 6, 2023 00:42 2s