Skip to content

Actions: nomeata/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
767 workflow runs
767 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #245: completed by nomeata
May 15, 2024 07:14 3s
May 15, 2024 07:14 3s
CI CI #210: Scheduled
May 15, 2024 07:14 25s master
master
May 15, 2024 07:14 25s
PR release PR release #244: completed by nomeata
May 14, 2024 07:15 2s
May 14, 2024 07:15 2s
CI CI #209: Scheduled
May 14, 2024 07:14 25s master
master
May 14, 2024 07:14 25s
PR release PR release #243: completed by nomeata
May 13, 2024 07:14 2s
May 13, 2024 07:14 2s
CI CI #208: Scheduled
May 13, 2024 07:14 27s master
master
May 13, 2024 07:14 27s
PR release PR release #242: completed by nomeata
May 12, 2024 07:12 2s
May 12, 2024 07:12 2s
CI CI #207: Scheduled
May 12, 2024 07:12 22s master
master
May 12, 2024 07:12 22s
PR release PR release #241: completed by nomeata
May 11, 2024 07:14 2s
May 11, 2024 07:14 2s
CI CI #206: Scheduled
May 11, 2024 07:13 24s master
master
May 11, 2024 07:13 24s
PR release PR release #240: completed by nomeata
May 10, 2024 07:15 2s
May 10, 2024 07:15 2s
CI CI #205: Scheduled
May 10, 2024 07:14 22s master
master
May 10, 2024 07:14 22s
PR release PR release #239: completed by nomeata
May 9, 2024 07:16 2s
May 9, 2024 07:16 2s
CI CI #204: Scheduled
May 9, 2024 07:15 20s master
master
May 9, 2024 07:15 20s
PR release PR release #238: completed by nomeata
May 8, 2024 07:15 1s
May 8, 2024 07:15 1s
CI CI #203: Scheduled
May 8, 2024 07:14 24s master
master
May 8, 2024 07:14 24s
PR release PR release #237: completed by nomeata
May 7, 2024 07:20 2s
May 7, 2024 07:20 2s
CI CI #202: Scheduled
May 7, 2024 07:19 27s master
master
May 7, 2024 07:19 27s
PR release PR release #236: completed by nomeata
May 6, 2024 07:14 2s
May 6, 2024 07:14 2s
CI CI #201: Scheduled
May 6, 2024 07:13 24s master
master
May 6, 2024 07:13 24s
PR release PR release #235: completed by nomeata
May 5, 2024 07:12 2s
May 5, 2024 07:12 2s
CI CI #200: Scheduled
May 5, 2024 07:12 23s master
master
May 5, 2024 07:12 23s
PR release PR release #234: completed by nomeata
May 4, 2024 07:13 1s
May 4, 2024 07:13 1s
CI CI #199: Scheduled
May 4, 2024 07:13 19s master
master
May 4, 2024 07:13 19s
PR release PR release #233: completed by nomeata
May 3, 2024 07:13 2s
May 3, 2024 07:13 2s