Skip to content

Actions: kmill/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #354: completed by kmill
October 9, 2024 07:07 2s
October 9, 2024 07:07 2s
PR release PR release #353: completed by kmill
October 8, 2024 07:07 2s
October 8, 2024 07:07 2s
PR release PR release #352: completed by kmill
October 7, 2024 07:08 2s
October 7, 2024 07:08 2s
PR release PR release #351: completed by kmill
October 6, 2024 07:03 1s
October 6, 2024 07:03 1s
PR release PR release #350: completed by kmill
October 5, 2024 07:00 2s
October 5, 2024 07:00 2s
PR release PR release #349: completed by kmill
October 4, 2024 07:07 2s
October 4, 2024 07:07 2s
PR release PR release #348: completed by kmill
October 3, 2024 07:07 2s
October 3, 2024 07:07 2s
PR release PR release #347: completed by kmill
October 2, 2024 07:07 1s
October 2, 2024 07:07 1s
PR release PR release #346: completed by kmill
October 1, 2024 07:07 3s
October 1, 2024 07:07 3s
PR release PR release #345: completed by kmill
September 30, 2024 07:08 3s
September 30, 2024 07:08 3s
PR release PR release #344: completed by kmill
September 29, 2024 07:02 2s
September 29, 2024 07:02 2s
PR release PR release #343: completed by kmill
September 28, 2024 07:00 1s
September 28, 2024 07:00 1s
PR release PR release #342: completed by kmill
September 27, 2024 07:07 2s
September 27, 2024 07:07 2s
PR release PR release #341: completed by kmill
September 26, 2024 07:07 2s
September 26, 2024 07:07 2s
PR release PR release #340: completed by kmill
September 25, 2024 07:07 2s
September 25, 2024 07:07 2s
PR release PR release #339: completed by kmill
September 24, 2024 07:07 2s
September 24, 2024 07:07 2s
PR release PR release #338: completed by kmill
September 23, 2024 07:07 2s
September 23, 2024 07:07 2s
PR release PR release #337: completed by kmill
September 22, 2024 07:01 2s
September 22, 2024 07:01 2s
PR release PR release #336: completed by kmill
September 21, 2024 07:06 2s
September 21, 2024 07:06 2s
PR release PR release #335: completed by kmill
September 20, 2024 07:07 2s
September 20, 2024 07:07 2s
PR release PR release #334: completed by kmill
September 19, 2024 07:07 2s
September 19, 2024 07:07 2s
PR release PR release #333: completed by kmill
September 18, 2024 19:08 3s
September 18, 2024 19:08 3s
PR release PR release #332: completed by kmill
September 18, 2024 07:07 2s
September 18, 2024 07:07 2s
PR release PR release #331: completed by kmill
September 17, 2024 07:01 2s
September 17, 2024 07:01 2s
PR release PR release #330: completed by kmill
September 16, 2024 07:07 2s
September 16, 2024 07:07 2s