Skip to content

Actions: Kha/lean4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
946 workflow runs
946 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Label stale PRs Label stale PRs #233: Scheduled
May 14, 2024 01:46 13s master
master
May 14, 2024 01:46 13s
PR release PR release #245: completed by Kha
May 13, 2024 07:00 2s
May 13, 2024 07:00 2s
CI CI #1871: Scheduled
May 13, 2024 07:00 13s master
master
May 13, 2024 07:00 13s
Label stale PRs Label stale PRs #232: Scheduled
May 13, 2024 01:47 11s master
master
May 13, 2024 01:47 11s
PR release PR release #244: completed by Kha
May 12, 2024 07:00 1s
May 12, 2024 07:00 1s
CI CI #1870: Scheduled
May 12, 2024 07:00 13s master
master
May 12, 2024 07:00 13s
Label stale PRs Label stale PRs #231: Scheduled
May 12, 2024 01:48 13s master
master
May 12, 2024 01:48 13s
PR release PR release #243: completed by Kha
May 11, 2024 17:39 2s
May 11, 2024 17:39 2s
fix: disappearing messages from incremental reporting CI #1869: Commit c266171 pushed by Kha
May 11, 2024 16:30 1h 8m 56s incr-tactic-v2
incr-tactic-v2
May 11, 2024 16:30 1h 8m 56s
fix: disappearing messages from incremental reporting Nix CI #515: Commit c266171 pushed by Kha
May 11, 2024 16:30 30m 49s incr-tactic-v2
incr-tactic-v2
May 11, 2024 16:30 30m 49s
PR release PR release #242: completed by Kha
May 11, 2024 07:00 2s
May 11, 2024 07:00 2s
CI CI #1868: Scheduled
May 11, 2024 07:00 16s master
master
May 11, 2024 07:00 16s
Label stale PRs Label stale PRs #230: Scheduled
May 11, 2024 01:46 15s master
master
May 11, 2024 01:46 15s
PR release PR release #241: completed by Kha
May 10, 2024 07:00 2s
May 10, 2024 07:00 2s
CI CI #1867: Scheduled
May 10, 2024 07:00 15s master
master
May 10, 2024 07:00 15s
Label stale PRs Label stale PRs #229: Scheduled
May 10, 2024 01:47 12s master
master
May 10, 2024 01:47 12s
PR release PR release #240: completed by Kha
May 9, 2024 07:00 2s
May 9, 2024 07:00 2s
CI CI #1866: Scheduled
May 9, 2024 07:00 15s master
master
May 9, 2024 07:00 15s
Label stale PRs Label stale PRs #228: Scheduled
May 9, 2024 01:47 11s master
master
May 9, 2024 01:47 11s
PR release PR release #239: completed by Kha
May 8, 2024 07:00 1s
May 8, 2024 07:00 1s
CI CI #1865: Scheduled
May 8, 2024 07:00 13s master
master
May 8, 2024 07:00 13s
Label stale PRs Label stale PRs #227: Scheduled
May 8, 2024 01:40 10s master
master
May 8, 2024 01:40 10s
PR release PR release #238: completed by Kha
May 7, 2024 13:51 2s
May 7, 2024 13:51 2s
Incr tactic rc1 Check for copyright header #1: Pull request #7 opened by Kha
May 7, 2024 13:28 27s incr-tactic-rc1
incr-tactic-rc1
May 7, 2024 13:28 27s
Incr tactic rc1 Check for modules that should use `prelude` #1: Pull request #7 opened by Kha
May 7, 2024 13:28 18s incr-tactic-rc1
incr-tactic-rc1
May 7, 2024 13:28 18s