Skip to content

Actions: leanprover/lean-beam

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,027 workflow runs
1,027 workflow runs

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
fix: keep sandboxed wrapper daemons alive across overlaps CI #103: Pull request #12 synchronize by ejgallego
11m 30s fix/codex-sandbox-wrapper-daemon
fix/codex-sandbox-wrapper-daemon
11m 30s
fix: add macOS CI and platform-aware plugin paths (#13) CI #102: Commit c39850d pushed by ejgallego
12m 2s main
main
12m 2s
fix: add macOS CI and platform-aware plugin paths CI #101: Pull request #13 synchronize by ejgallego
11m 31s fix/macos-ci
fix/macos-ci
11m 31s
fix: add macOS CI and platform-aware plugin paths CI #100: Pull request #13 synchronize by ejgallego
12m 1s fix/macos-ci
fix/macos-ci
12m 1s
fix: make beam installer and daemon launch portable (#14) CI #99: Commit 542fbf0 pushed by ejgallego
10m 51s main
main
10m 51s
fix: make beam installer and daemon launch portable CI #98: Pull request #14 synchronize by ejgallego
7m 32s fix/macos-daemon-startup
fix/macos-daemon-startup
7m 32s
fix: make beam installer and daemon launch portable CI #97: Pull request #14 synchronize by ejgallego
7m 34s fix/macos-daemon-startup
fix/macos-daemon-startup
7m 34s
fix: make beam installer and daemon launch portable CI #96: Pull request #14 synchronize by ejgallego
7m 21s fix/macos-daemon-startup
fix/macos-daemon-startup
7m 21s
fix: make beam installer and daemon launch portable CI #95: Pull request #14 synchronize by ejgallego
8m 15s fix/macos-daemon-startup
fix/macos-daemon-startup
8m 15s
fix: make beam installer and daemon launch portable CI #94: Pull request #14 synchronize by ejgallego
7m 30s fix/macos-daemon-startup
fix/macos-daemon-startup
7m 30s
fix: make beam installer and daemon launch portable CI #93: Pull request #14 opened by ejgallego
11m 12s fix/macos-daemon-startup
fix/macos-daemon-startup
11m 12s
fix: spawn daemon without shell backgrounding CI #92: Commit 0872274 pushed by ejgallego
9m 17s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
9m 17s
debug: trace macOS daemon startup registration CI #91: Commit b5c6693 pushed by ejgallego
13m 34s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
13m 34s
fix: replace install symlinks portably CI #90: Commit fa8f88d pushed by ejgallego
9m 59s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
9m 59s
fix: use platform-aware plugin library names CI #89: Commit c7c6621 pushed by ejgallego
8m 41s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
8m 41s
fix: unblock macOS install debug run CI #88: Commit 436a33f pushed by ejgallego
6m 36s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
6m 36s
debug: isolate macOS stale sync CI CI #87: Commit 3b3c398 pushed by ejgallego
2m 12s ci/macos-stale-sync-debug
ci/macos-stale-sync-debug
2m 12s
fix: add macOS CI and platform-aware plugin paths CI #86: Pull request #13 synchronize by ejgallego
6h 5m 24s fix/macos-ci
fix/macos-ci
6h 5m 24s
fix: add macOS CI and platform-aware plugin paths CI #85: Pull request #13 synchronize by ejgallego
13m 56s fix/macos-ci
fix/macos-ci
13m 56s
fix: add macOS CI and platform-aware plugin paths CI #84: Pull request #13 synchronize by ejgallego
15m 39s fix/macos-ci
fix/macos-ci
15m 39s
fix: add macOS CI and platform-aware plugin paths CI #83: Pull request #13 synchronize by ejgallego
10m 44s fix/macos-ci
fix/macos-ci
10m 44s
fix: add macOS CI and platform-aware plugin paths CI #82: Pull request #13 synchronize by ejgallego
10m 43s fix/macos-ci
fix/macos-ci
10m 43s
fix: add macOS CI and platform-aware plugin paths CI #81: Pull request #13 synchronize by ejgallego
16m 3s fix/macos-ci
fix/macos-ci
16m 3s
fix: add macOS CI and platform-aware plugin paths CI #80: Pull request #13 synchronize by ejgallego
15m 6s fix/macos-ci
fix/macos-ci
15m 6s
fix: keep sandboxed wrapper daemons alive across overlaps CI #79: Pull request #12 synchronize by ejgallego
7h 0m 20s fix/codex-sandbox-wrapper-daemon
fix/codex-sandbox-wrapper-daemon
7h 0m 20s
ProTip! You can narrow down the results and go further in time using created:<2026-03-22 or the other filters available.