Skip to content

Actions: arthur-adjedj/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,385 workflow runs
1,385 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #503: Scheduled
January 18, 2025 07:06 24s master
master
January 18, 2025 07:06 24s
Label stale PRs Label stale PRs #460: Scheduled
January 18, 2025 02:26 11s master
master
January 18, 2025 02:26 11s
PR release PR release #502: completed by arthur-adjedj
January 17, 2025 07:08 3s
January 17, 2025 07:08 3s
CI CI #502: Scheduled
January 17, 2025 07:07 22s master
master
January 17, 2025 07:07 22s
Label stale PRs Label stale PRs #459: Scheduled
January 17, 2025 02:29 11s master
master
January 17, 2025 02:29 11s
PR release PR release #501: completed by arthur-adjedj
January 16, 2025 07:08 2s
January 16, 2025 07:08 2s
CI CI #501: Scheduled
January 16, 2025 07:08 29s master
master
January 16, 2025 07:08 29s
Label stale PRs Label stale PRs #458: Scheduled
January 16, 2025 02:29 30s master
master
January 16, 2025 02:29 30s
PR release PR release #500: completed by arthur-adjedj
January 15, 2025 07:08 2s
January 15, 2025 07:08 2s
CI CI #500: Scheduled
January 15, 2025 07:07 23s master
master
January 15, 2025 07:07 23s
Label stale PRs Label stale PRs #457: Scheduled
January 15, 2025 02:30 14s master
master
January 15, 2025 02:30 14s
PR release PR release #499: completed by arthur-adjedj
January 14, 2025 07:08 2s
January 14, 2025 07:08 2s
CI CI #499: Scheduled
January 14, 2025 07:08 21s master
master
January 14, 2025 07:08 21s
Label stale PRs Label stale PRs #456: Scheduled
January 14, 2025 02:28 14s master
master
January 14, 2025 02:28 14s
PR release PR release #498: completed by arthur-adjedj
January 13, 2025 07:09 2s
January 13, 2025 07:09 2s
CI CI #498: Scheduled
January 13, 2025 07:09 29s master
master
January 13, 2025 07:09 29s
Label stale PRs Label stale PRs #455: Scheduled
January 13, 2025 02:39 18s master
master
January 13, 2025 02:39 18s
PR release PR release #497: completed by arthur-adjedj
January 12, 2025 07:07 2s
January 12, 2025 07:07 2s
CI CI #497: Scheduled
January 12, 2025 07:07 40s master
master
January 12, 2025 07:07 40s
Label stale PRs Label stale PRs #454: Scheduled
January 12, 2025 02:41 14s master
master
January 12, 2025 02:41 14s
PR release PR release #496: completed by arthur-adjedj
January 11, 2025 07:07 2s
January 11, 2025 07:07 2s
CI CI #496: Scheduled
January 11, 2025 07:07 21s master
master
January 11, 2025 07:07 21s
Label stale PRs Label stale PRs #453: Scheduled
January 11, 2025 02:33 11s master
master
January 11, 2025 02:33 11s
PR release PR release #495: completed by arthur-adjedj
January 10, 2025 07:08 3s
January 10, 2025 07:08 3s
CI CI #495: Scheduled
January 10, 2025 07:08 31s master
master
January 10, 2025 07:08 31s