Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
549 workflow run results
549 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #182: completed by alexkeizer
May 26, 2024 07:01 2s
May 26, 2024 07:01 2s
CI CI #183: Scheduled
May 26, 2024 07:01 27s master
master
May 26, 2024 07:01 27s
Label stale PRs Label stale PRs #93: Scheduled
May 26, 2024 01:50 11s master
master
May 26, 2024 01:50 11s
PR release PR release #181: completed by alexkeizer
May 25, 2024 07:01 2s
May 25, 2024 07:01 2s
CI CI #182: Scheduled
May 25, 2024 07:01 22s master
master
May 25, 2024 07:01 22s
Label stale PRs Label stale PRs #92: Scheduled
May 25, 2024 01:48 17s master
master
May 25, 2024 01:48 17s
getLsb_sshiftRight Backport #2: Pull request #3 closed by bollu
May 24, 2024 22:43 3s
May 24, 2024 22:43 3s
PR release PR release #180: completed by alexkeizer
May 24, 2024 07:01 2s
May 24, 2024 07:01 2s
CI CI #181: Scheduled
May 24, 2024 07:01 26s master
master
May 24, 2024 07:01 26s
Label stale PRs Label stale PRs #91: Scheduled
May 24, 2024 01:48 11s master
master
May 24, 2024 01:48 11s
WIP: blast_bv tactic Backport #1: Pull request #1 closed by alexkeizer
May 23, 2024 11:39 2s
May 23, 2024 11:39 2s
PR release PR release #179: completed by alexkeizer
May 23, 2024 07:01 2s
May 23, 2024 07:01 2s
CI CI #180: Scheduled
May 23, 2024 07:01 25s master
master
May 23, 2024 07:01 25s
Label stale PRs Label stale PRs #90: Scheduled
May 23, 2024 01:48 14s master
master
May 23, 2024 01:48 14s
PR release PR release #178: completed by alexkeizer
May 22, 2024 15:52 3s
May 22, 2024 15:52 3s
feat: incremental elaboration of definition headers, bodies, and tact… Update stage0 #4: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 26s master
master
May 22, 2024 14:36 26s
feat: incremental elaboration of definition headers, bodies, and tact… Actionlint #7: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 26s master
master
May 22, 2024 14:36 26s
feat: incremental elaboration of definition headers, bodies, and tact… CI #179: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 1h 15m 3s master
master
May 22, 2024 14:36 1h 15m 3s
feat: incremental elaboration of definition headers, bodies, and tact… Nix CI #34: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 30m 38s master
master
May 22, 2024 14:36 30m 38s
PR release PR release #177: completed by alexkeizer
May 22, 2024 07:01 2s
May 22, 2024 07:01 2s
CI CI #178: Scheduled
May 22, 2024 07:01 20s master
master
May 22, 2024 07:01 20s
Label stale PRs Label stale PRs #89: Scheduled
May 22, 2024 01:48 11s master
master
May 22, 2024 01:48 11s
PR release PR release #176: completed by alexkeizer
May 21, 2024 07:01 3s
May 21, 2024 07:01 3s
CI CI #177: Scheduled
May 21, 2024 07:01 22s master
master
May 21, 2024 07:01 22s
Label stale PRs Label stale PRs #88: Scheduled
May 21, 2024 01:48 14s master
master
May 21, 2024 01:48 14s