Skip to content

Actions: leanprover/lean-beam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
963 workflow runs
963 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor: simplify wrapper session contract CI #950: Pull request #243 opened by ejgallego
25m 2s codex/session-contract
codex/session-contract
25m 2s
refactor: enforce explicit wrapper session ownership (#241) CI #949: Commit 6f98ed6 pushed by ejgallego
29m 13s main
main
29m 13s
refactor: enforce explicit wrapper session ownership CI #948: Pull request #241 synchronize by ejgallego
6m 18s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
6m 18s
refactor: enforce explicit wrapper session ownership CI #947: Pull request #241 synchronize by ejgallego
27m 26s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
27m 26s
refactor: enforce explicit wrapper session ownership CI #946: Pull request #241 synchronize by ejgallego
26m 22s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
26m 22s
refactor: enforce explicit wrapper session ownership CI #945: Pull request #241 synchronize by ejgallego
31m 22s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
31m 22s
refactor: enforce explicit wrapper session ownership CI #944: Pull request #241 synchronize by ejgallego
27m 58s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
27m 58s
refactor: enforce explicit wrapper session ownership CI #943: Pull request #241 synchronize by ejgallego
30m 28s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
30m 28s
refactor: enforce explicit wrapper session ownership CI #942: Pull request #241 synchronize by ejgallego
26m 12s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
26m 12s
refactor: enforce explicit wrapper session ownership CI #941: Pull request #241 synchronize by ejgallego
17m 58s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
17m 58s
refactor: enforce explicit wrapper session ownership CI #940: Pull request #241 synchronize by ejgallego
26m 31s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
26m 31s
refactor: enforce explicit wrapper session ownership CI #939: Pull request #241 synchronize by ejgallego
15m 59s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
15m 59s
refactor: enforce explicit wrapper session ownership CI #938: Pull request #241 synchronize by ejgallego
26m 32s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
26m 32s
refactor: enforce explicit wrapper session ownership CI #937: Pull request #241 synchronize by ejgallego
28m 18s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
28m 18s
refactor: enforce explicit wrapper session ownership CI #936: Pull request #241 synchronize by ejgallego
18m 2s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
18m 2s
refactor: enforce explicit wrapper session ownership CI #935: Pull request #241 synchronize by ejgallego
27m 20s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
27m 20s
refactor: enforce explicit wrapper session ownership CI #934: Pull request #241 synchronize by ejgallego
11m 15s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
11m 15s
refactor: enforce explicit wrapper session ownership CI #933: Pull request #241 synchronize by ejgallego
27m 34s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
27m 34s
refactor: enforce explicit wrapper session ownership CI #932: Pull request #241 synchronize by ejgallego
28m 2s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
28m 2s
refactor: enforce explicit wrapper session ownership CI #931: Pull request #241 synchronize by ejgallego
22m 58s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
22m 58s
CI CI #930: synchronize by ejgallego
Startup failure codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
Startup failure
refactor: enforce explicit wrapper session ownership CI #929: Pull request #241 synchronize by ejgallego
2d 21h 52m 4s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
2d 21h 52m 4s
fix: improve startup and feedback diagnostics CI #928: Pull request #242 synchronize by ejgallego
1h 23m 24s codex/issue-239-diagnostics
codex/issue-239-diagnostics
1h 23m 24s
refactor: enforce explicit wrapper session ownership CI #927: Pull request #241 synchronize by ejgallego
1h 34m 43s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
1h 34m 43s
refactor: enforce explicit wrapper session ownership CI #926: Pull request #241 synchronize by ejgallego
33m 8s codex/daemon-owner-lifetime
codex/daemon-owner-lifetime
33m 8s