Skip to content

Actions: nomeata/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #257: completed by nomeata
May 27, 2024 07:15 2s
May 27, 2024 07:15 2s
PR release PR release #256: completed by nomeata
May 26, 2024 07:14 2s
May 26, 2024 07:14 2s
PR release PR release #255: completed by nomeata
May 25, 2024 07:13 1s
May 25, 2024 07:13 1s
PR release PR release #254: completed by nomeata
May 24, 2024 07:13 2s
May 24, 2024 07:13 2s
PR release PR release #253: completed by nomeata
May 23, 2024 07:14 2s
May 23, 2024 07:14 2s
PR release PR release #252: completed by nomeata
May 22, 2024 07:14 2s
May 22, 2024 07:14 2s
PR release PR release #251: completed by nomeata
May 21, 2024 07:14 3s
May 21, 2024 07:14 3s
PR release PR release #250: completed by nomeata
May 20, 2024 07:16 2s
May 20, 2024 07:16 2s
PR release PR release #249: completed by nomeata
May 19, 2024 07:13 1s
May 19, 2024 07:13 1s
PR release PR release #248: completed by nomeata
May 18, 2024 07:15 2s
May 18, 2024 07:15 2s
PR release PR release #247: completed by nomeata
May 17, 2024 07:14 2s
May 17, 2024 07:14 2s
PR release PR release #246: completed by nomeata
May 16, 2024 07:11 2s
May 16, 2024 07:11 2s
PR release PR release #245: completed by nomeata
May 15, 2024 07:14 3s
May 15, 2024 07:14 3s
PR release PR release #244: completed by nomeata
May 14, 2024 07:15 2s
May 14, 2024 07:15 2s
PR release PR release #243: completed by nomeata
May 13, 2024 07:14 2s
May 13, 2024 07:14 2s
PR release PR release #242: completed by nomeata
May 12, 2024 07:12 2s
May 12, 2024 07:12 2s
PR release PR release #241: completed by nomeata
May 11, 2024 07:14 2s
May 11, 2024 07:14 2s
PR release PR release #240: completed by nomeata
May 10, 2024 07:15 2s
May 10, 2024 07:15 2s
PR release PR release #239: completed by nomeata
May 9, 2024 07:16 2s
May 9, 2024 07:16 2s
PR release PR release #238: completed by nomeata
May 8, 2024 07:15 1s
May 8, 2024 07:15 1s
PR release PR release #237: completed by nomeata
May 7, 2024 07:20 2s
May 7, 2024 07:20 2s
PR release PR release #236: completed by nomeata
May 6, 2024 07:14 2s
May 6, 2024 07:14 2s
PR release PR release #235: completed by nomeata
May 5, 2024 07:12 2s
May 5, 2024 07:12 2s
PR release PR release #234: completed by nomeata
May 4, 2024 07:13 1s
May 4, 2024 07:13 1s
PR release PR release #233: completed by nomeata
May 3, 2024 07:13 2s
May 3, 2024 07:13 2s