Skip to content

Actions: mhuisi/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #445: completed by mhuisi
November 2, 2024 07:09 2s
November 2, 2024 07:09 2s
PR release PR release #444: completed by mhuisi
November 1, 2024 07:10 2s
November 1, 2024 07:10 2s
PR release PR release #443: completed by mhuisi
October 31, 2024 07:10 2s
October 31, 2024 07:10 2s
PR release PR release #442: completed by mhuisi
October 30, 2024 08:54 38s
October 30, 2024 08:54 38s
PR release PR release #441: completed by mhuisi
October 29, 2024 07:11 1s
October 29, 2024 07:11 1s
PR release PR release #440: completed by mhuisi
October 28, 2024 07:11 1s
October 28, 2024 07:11 1s
PR release PR release #439: completed by mhuisi
October 27, 2024 07:09 2s
October 27, 2024 07:09 2s
PR release PR release #438: completed by mhuisi
October 26, 2024 07:09 2s
October 26, 2024 07:09 2s
PR release PR release #437: completed by mhuisi
October 25, 2024 07:10 2s
October 25, 2024 07:10 2s
PR release PR release #436: completed by mhuisi
October 24, 2024 07:10 2s
October 24, 2024 07:10 2s
PR release PR release #435: completed by mhuisi
October 23, 2024 07:10 2s
October 23, 2024 07:10 2s
PR release PR release #434: completed by mhuisi
October 22, 2024 07:11 2s
October 22, 2024 07:11 2s
PR release PR release #433: completed by mhuisi
October 21, 2024 07:11 2s
October 21, 2024 07:11 2s
PR release PR release #432: completed by mhuisi
October 20, 2024 07:09 2s
October 20, 2024 07:09 2s
PR release PR release #431: completed by mhuisi
October 19, 2024 07:10 1s
October 19, 2024 07:10 1s
PR release PR release #430: completed by mhuisi
October 18, 2024 07:10 1s
October 18, 2024 07:10 1s
PR release PR release #429: completed by mhuisi
October 17, 2024 07:11 2s
October 17, 2024 07:11 2s
PR release PR release #428: completed by mhuisi
October 16, 2024 07:10 2s
October 16, 2024 07:10 2s
PR release PR release #427: completed by mhuisi
October 15, 2024 07:10 2s
October 15, 2024 07:10 2s
PR release PR release #426: completed by mhuisi
October 14, 2024 07:11 2s
October 14, 2024 07:11 2s
PR release PR release #425: completed by mhuisi
October 13, 2024 07:09 1s
October 13, 2024 07:09 1s
PR release PR release #424: completed by mhuisi
October 12, 2024 07:08 1s
October 12, 2024 07:08 1s
PR release PR release #423: completed by mhuisi
October 11, 2024 07:10 2s
October 11, 2024 07:10 2s
PR release PR release #422: completed by mhuisi
October 10, 2024 07:10 2s
October 10, 2024 07:10 2s
PR release PR release #421: completed by mhuisi
October 9, 2024 07:11 1s
October 9, 2024 07:11 1s