Skip to content

Actions: Kha/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-release.yml
480 workflow runs
480 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #25: completed by Kha
October 11, 2023 07:00 2s
October 11, 2023 07:00 2s
PR release PR release #24: completed by Kha
October 10, 2023 07:00 2s
October 10, 2023 07:00 2s
PR release PR release #23: completed by Kha
October 9, 2023 07:00 2s
October 9, 2023 07:00 2s
PR release PR release #22: completed by Kha
October 8, 2023 07:00 1s
October 8, 2023 07:00 1s
PR release PR release #21: completed by Kha
October 7, 2023 07:00 2s
October 7, 2023 07:00 2s
ProTip! You can narrow down the results and go further in time using created:<2023-10-07 or the other filters available.