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

CI CI #248: Scheduled
June 22, 2024 07:14 20s master
master
June 22, 2024 07:14 20s
PR release PR release #282: completed by nomeata
June 21, 2024 07:15 2s
June 21, 2024 07:15 2s
CI CI #247: Scheduled
June 21, 2024 07:14 28s master
master
June 21, 2024 07:14 28s
PR release PR release #281: completed by nomeata
June 20, 2024 07:14 2s
June 20, 2024 07:14 2s
CI CI #246: Scheduled
June 20, 2024 07:14 24s master
master
June 20, 2024 07:14 24s
PR release PR release #280: completed by nomeata
June 19, 2024 07:14 1s
June 19, 2024 07:14 1s
CI CI #245: Scheduled
June 19, 2024 07:14 22s master
master
June 19, 2024 07:14 22s
PR release PR release #279: completed by nomeata
June 18, 2024 07:14 1s
June 18, 2024 07:14 1s
CI CI #244: Scheduled
June 18, 2024 07:14 34s master
master
June 18, 2024 07:14 34s
PR release PR release #278: completed by nomeata
June 17, 2024 07:15 3s
June 17, 2024 07:15 3s
CI CI #243: Scheduled
June 17, 2024 07:14 21s master
master
June 17, 2024 07:14 21s
PR release PR release #277: completed by nomeata
June 16, 2024 07:15 1s
June 16, 2024 07:15 1s
CI CI #242: Scheduled
June 16, 2024 07:14 23s master
master
June 16, 2024 07:14 23s
PR release PR release #276: completed by nomeata
June 15, 2024 07:15 3s
June 15, 2024 07:15 3s
CI CI #241: Scheduled
June 15, 2024 07:15 22s master
master
June 15, 2024 07:15 22s
PR release PR release #275: completed by nomeata
June 14, 2024 07:15 2s
June 14, 2024 07:15 2s
CI CI #240: Scheduled
June 14, 2024 07:14 25s master
master
June 14, 2024 07:14 25s
PR release PR release #274: completed by nomeata
June 13, 2024 07:14 2s
June 13, 2024 07:14 2s
CI CI #239: Scheduled
June 13, 2024 07:14 22s master
master
June 13, 2024 07:14 22s
PR release PR release #273: completed by nomeata
June 12, 2024 07:14 2s
June 12, 2024 07:14 2s
CI CI #238: Scheduled
June 12, 2024 07:14 21s master
master
June 12, 2024 07:14 21s
PR release PR release #272: completed by nomeata
June 11, 2024 07:15 2s
June 11, 2024 07:15 2s
CI CI #237: Scheduled
June 11, 2024 07:14 30s master
master
June 11, 2024 07:14 30s
PR release PR release #271: completed by nomeata
June 10, 2024 07:15 2s
June 10, 2024 07:15 2s
CI CI #236: Scheduled
June 10, 2024 07:14 24s master
master
June 10, 2024 07:14 24s