Skip to content

Actions: FloatingPragma/observer-patch-holography

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,378 workflow runs
1,378 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
Refresh the open-problem ledger after restoring the E3 issue to open Claim Registry #406: Commit e91e3f4 pushed by muellerberndt
33s main
main
33s
Refresh the open-problem ledger after restoring the E3 issue to open Mandatory Suite #463: Commit e91e3f4 pushed by muellerberndt
18m 33s main
main
18m 33s
Refresh the open-problem ledger snapshot after reopening E3 and E4 Mandatory Suite #462: Commit 280ac49 pushed by muellerberndt
17m 1s main
main
17m 1s
Refresh the open-problem ledger snapshot after reopening E3 and E4 Claim Registry #405: Commit 280ac49 pushed by muellerberndt
40s main
main
40s
Correct two claim statements in the merged E3/E4 bricks and refresh t… Lean CI #196: Commit 4012dea pushed by muellerberndt
38m 47s main
main
38m 47s
Correct two claim statements in the merged E3/E4 bricks and refresh t… Paper Preview Build #210: Commit 4012dea pushed by muellerberndt
2m 35s main
main
2m 35s
Correct two claim statements in the merged E3/E4 bricks and refresh t… Mandatory Suite #461: Commit 4012dea pushed by muellerberndt
18m 22s main
main
18m 22s
Correct two claim statements in the merged E3/E4 bricks and refresh t… Claim Registry #404: Commit 4012dea pushed by muellerberndt
37s main
main
37s
Merge pull request #721 from velvetmonkey/brick/e4-status-matrix Lean CI #195: Commit 9ce987a pushed by muellerberndt
46m 43s main
main
46m 43s
Merge pull request #721 from velvetmonkey/brick/e4-status-matrix Paper Preview Build #209: Commit 9ce987a pushed by muellerberndt
1m 33s main
main
1m 33s
Merge pull request #721 from velvetmonkey/brick/e4-status-matrix Claim Registry #403: Commit 9ce987a pushed by muellerberndt
25s main
main
25s
Merge pull request #721 from velvetmonkey/brick/e4-status-matrix Mandatory Suite #460: Commit 9ce987a pushed by muellerberndt
17m 12s main
main
17m 12s
Merge pull request #720 from velvetmonkey/brick/e3-locally-covariant Mandatory Suite #459: Commit 160e159 pushed by muellerberndt
17m 11s main
main
17m 11s
Merge pull request #720 from velvetmonkey/brick/e3-locally-covariant Lean CI #194: Commit 160e159 pushed by muellerberndt
39m 58s main
main
39m 58s
Merge pull request #720 from velvetmonkey/brick/e3-locally-covariant Paper Preview Build #208: Commit 160e159 pushed by muellerberndt
2m 25s main
main
2m 25s
Merge pull request #718 from velvetmonkey/brick/response-word-algebra-pr Paper Preview Build #207: Commit 66c96e4 pushed by muellerberndt
2m 10s main
main
2m 10s
Merge pull request #718 from velvetmonkey/brick/response-word-algebra-pr Mandatory Suite #458: Commit 66c96e4 pushed by muellerberndt
18m 21s main
main
18m 21s
Merge pull request #718 from velvetmonkey/brick/response-word-algebra-pr Lean CI #193: Commit 66c96e4 pushed by muellerberndt
1h 23m 18s main
main
1h 23m 18s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Claim Registry #402: Pull request #721 synchronize by velvetmonkey
34s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
34s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Mandatory Suite #457: Pull request #721 synchronize by velvetmonkey
18m 35s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
18m 35s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Lean CI #192: Pull request #721 synchronize by velvetmonkey
4m 41s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
4m 41s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Paper Preview Build #206: Pull request #721 synchronize by velvetmonkey
2m 16s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
2m 16s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Paper Preview Build #205: Pull request #721 synchronize by velvetmonkey
2m 28s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
2m 28s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Claim Registry #401: Pull request #721 synchronize by velvetmonkey
44s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
44s
E4: structural-inheritance status matrix — two rows statable, five typed exits (#701) Lean CI #191: Pull request #721 synchronize by velvetmonkey
5m 47s velvetmonkey:brick/e4-status-matrix
velvetmonkey:brick/e4-status-matrix
5m 47s