Skip to content

Actions: leanprover/lean-beam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,034 workflow runs
1,034 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: tighten internal protocol types CI #1021: Pull request #252 synchronize by ejgallego
27m 24s codex/typed-helper-status-cleanup
codex/typed-helper-status-cleanup
27m 24s
refactor: tighten internal protocol types CI #1020: Pull request #252 synchronize by ejgallego
21m 23s codex/typed-helper-status-cleanup
codex/typed-helper-status-cleanup
21m 23s
refactor: tighten internal protocol types CI #1019: Pull request #252 opened by ejgallego
19m 19s codex/typed-helper-status-cleanup
codex/typed-helper-status-cleanup
19m 19s
fix: release broker state during dead session cleanup (#251) CI #1018: Commit 8276f4e pushed by ejgallego
21m 17s main
main
21m 17s
fix: release broker state during dead session cleanup CI #1017: Pull request #251 synchronize by ejgallego
24m 57s codex/dead-session-cleanup
codex/dead-session-cleanup
24m 57s
fix: release broker state during dead session cleanup CI #1016: Pull request #251 synchronize by ejgallego
20m 8s codex/dead-session-cleanup
codex/dead-session-cleanup
20m 8s
fix: release broker state during dead session cleanup CI #1015: Pull request #251 opened by ejgallego
20m 29s codex/dead-session-cleanup
codex/dead-session-cleanup
20m 29s
fix: isolate broker requests across workspace resets (#250) CI #1014: Commit 117b098 pushed by ejgallego
28m 25s main
main
28m 25s
fix: isolate broker requests across workspace resets CI #1013: Pull request #250 synchronize by ejgallego
2m 34s codex/broker-backend-config-types
codex/broker-backend-config-types
2m 34s
fix: isolate broker requests across workspace resets CI #1012: Pull request #250 synchronize by ejgallego
35m 54s codex/broker-backend-config-types
codex/broker-backend-config-types
35m 54s
docs: add architecture message-path diagrams CI #1011: Pull request #249 synchronize by ejgallego
55m 48s codex/architecture-diagrams
codex/architecture-diagrams
55m 48s
docs: add architecture message-path diagrams CI #1010: Pull request #249 synchronize by ejgallego
3s codex/architecture-diagrams
codex/architecture-diagrams
3s
refactor: make daemon backend configs complete (#248) CI #1009: Commit 88afcaf pushed by ejgallego
47m 28s main
main
47m 28s
fix: isolate broker requests across workspace resets CI #1008: Pull request #250 opened by ejgallego
32m 52s codex/broker-backend-config-types
codex/broker-backend-config-types
32m 52s
docs: add architecture message-path diagrams CI #1007: Pull request #249 synchronize by ejgallego
44m 25s codex/architecture-diagrams
codex/architecture-diagrams
44m 25s
refactor: make daemon backend configs complete CI #1006: Pull request #248 synchronize by ejgallego
34m 9s codex/desired-config-types
codex/desired-config-types
34m 9s
docs: add architecture message-path diagrams CI #1005: Pull request #249 synchronize by ejgallego
1h 5m 57s codex/architecture-diagrams
codex/architecture-diagrams
1h 5m 57s
refactor: make daemon backend configs complete CI #1004: Pull request #248 synchronize by ejgallego
1h 3m 39s codex/desired-config-types
codex/desired-config-types
1h 3m 39s
refactor: type broker request payloads (#247) CI #1003: Commit fd26811 pushed by ejgallego
1h 1m 58s main
main
1h 1m 58s
docs: add architecture message-path diagrams CI #1002: Pull request #249 synchronize by ejgallego
29m 33s codex/architecture-diagrams
codex/architecture-diagrams
29m 33s
refactor: make daemon backend configs complete CI #1001: Pull request #248 synchronize by ejgallego
27m 55s codex/desired-config-types
codex/desired-config-types
27m 55s
refactor: type broker request payloads CI #1000: Pull request #247 synchronize by ejgallego
46m 41s codex/broker-request-types
codex/broker-request-types
46m 41s
docs: add architecture message-path diagrams CI #999: Pull request #249 opened by ejgallego
28m 12s codex/architecture-diagrams
codex/architecture-diagrams
28m 12s
refactor: make daemon backend configs complete CI #998: Pull request #248 synchronize by ejgallego
33m 36s codex/desired-config-types
codex/desired-config-types
33m 36s
refactor: type broker request payloads CI #997: Pull request #247 synchronize by ejgallego
23m 11s codex/broker-request-types
codex/broker-request-types
23m 11s