Skip to content

Actions: hhu-adam/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #234: completed by joneugster
September 3, 2024 07:07 2s
September 3, 2024 07:07 2s
CI CI #234: Scheduled
September 3, 2024 07:07 25s master
master
September 3, 2024 07:07 25s
Label stale PRs Label stale PRs #221: Scheduled
September 3, 2024 02:29 15s master
master
September 3, 2024 02:29 15s
PR release PR release #233: completed by joneugster
September 2, 2024 07:59 1s
September 2, 2024 07:59 1s
chore: remove unused lemmas from a non-terminal simp (#5229) Nix CI #13: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 43m 45s master
master
September 2, 2024 07:18 43m 45s
chore: remove unused lemmas from a non-terminal simp (#5229) Actionlint #10: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 27s master
master
September 2, 2024 07:18 27s
chore: remove unused lemmas from a non-terminal simp (#5229) Update stage0 #13: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 29s master
master
September 2, 2024 07:18 29s
chore: remove unused lemmas from a non-terminal simp (#5229) CI #233: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 40m 31s master
master
September 2, 2024 07:18 40m 31s
PR release PR release #232: completed by joneugster
September 2, 2024 07:08 2s
September 2, 2024 07:08 2s
CI CI #232: Scheduled
September 2, 2024 07:07 26s master
master
September 2, 2024 07:07 26s
Label stale PRs Label stale PRs #220: Scheduled
September 2, 2024 02:34 13s master
master
September 2, 2024 02:34 13s
PR release PR release #231: completed by joneugster
September 1, 2024 07:05 2s
September 1, 2024 07:05 2s
CI CI #231: Scheduled
September 1, 2024 07:04 21s master
master
September 1, 2024 07:04 21s
Label stale PRs Label stale PRs #219: Scheduled
September 1, 2024 02:42 10s master
master
September 1, 2024 02:42 10s
PR release PR release #230: completed by joneugster
August 31, 2024 07:04 2s
August 31, 2024 07:04 2s
CI CI #230: Scheduled
August 31, 2024 07:03 24s master
master
August 31, 2024 07:03 24s
Label stale PRs Label stale PRs #218: Scheduled
August 31, 2024 02:29 11s master
master
August 31, 2024 02:29 11s
PR release PR release #229: completed by joneugster
August 30, 2024 07:06 2s
August 30, 2024 07:06 2s
CI CI #229: Scheduled
August 30, 2024 07:06 24s master
master
August 30, 2024 07:06 24s
Label stale PRs Label stale PRs #217: Scheduled
August 30, 2024 02:31 11s master
master
August 30, 2024 02:31 11s
PR release PR release #228: completed by joneugster
August 29, 2024 07:07 2s
August 29, 2024 07:07 2s
CI CI #228: Scheduled
August 29, 2024 07:07 25s master
master
August 29, 2024 07:07 25s
Label stale PRs Label stale PRs #216: Scheduled
August 29, 2024 02:30 13s master
master
August 29, 2024 02:30 13s
PR release PR release #227: completed by joneugster
August 28, 2024 07:07 2s
August 28, 2024 07:07 2s
CI CI #227: Scheduled
August 28, 2024 07:06 24s master
master
August 28, 2024 07:06 24s