Skip to content

Actions: Aliipou/authgate-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
368 workflow runs
368 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
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team CI #177: Pull request #4 synchronize by Aliipou
3m 32s feat/theory-gaps
feat/theory-gaps
3m 32s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team PR Anti-Garbage Gate #42: Pull request #4 synchronize by Aliipou
7s feat/theory-gaps
feat/theory-gaps
7s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team Sandbox enforcement #56: Pull request #4 synchronize by Aliipou
3m 33s feat/theory-gaps
feat/theory-gaps
3m 33s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team TCB Test Suite #89: Pull request #4 synchronize by Aliipou
1m 53s feat/theory-gaps
feat/theory-gaps
1m 53s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team Sandbox enforcement #55: Pull request #4 synchronize by Aliipou
3m 37s feat/theory-gaps
feat/theory-gaps
3m 37s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team CI #176: Pull request #4 synchronize by Aliipou
3m 36s feat/theory-gaps
feat/theory-gaps
3m 36s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team TCB Test Suite #88: Pull request #4 synchronize by Aliipou
2m 20s feat/theory-gaps
feat/theory-gaps
2m 20s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team PR Anti-Garbage Gate #41: Pull request #4 synchronize by Aliipou
7s feat/theory-gaps
feat/theory-gaps
7s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team Sandbox enforcement #54: Pull request #4 synchronize by Aliipou
3m 33s feat/theory-gaps
feat/theory-gaps
3m 33s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team TCB Test Suite #87: Pull request #4 synchronize by Aliipou
1m 46s feat/theory-gaps
feat/theory-gaps
1m 46s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team CI #175: Pull request #4 synchronize by Aliipou
3m 29s feat/theory-gaps
feat/theory-gaps
3m 29s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team PR Anti-Garbage Gate #40: Pull request #4 synchronize by Aliipou
9s feat/theory-gaps
feat/theory-gaps
9s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team CI #174: Pull request #4 synchronize by Aliipou
3m 3s feat/theory-gaps
feat/theory-gaps
3m 3s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team Sandbox enforcement #53: Pull request #4 synchronize by Aliipou
3m 29s feat/theory-gaps
feat/theory-gaps
3m 29s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team TCB Test Suite #86: Pull request #4 synchronize by Aliipou
1m 52s feat/theory-gaps
feat/theory-gaps
1m 52s
Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team PR Anti-Garbage Gate #39: Pull request #4 synchronize by Aliipou
7s feat/theory-gaps
feat/theory-gaps
7s
test: dedicated confused-deputy adversarial test (AT-CONFUSED) TCB Test Suite #85: Pull request #7 opened by Aliipou
1m 13s test/confused-deputy
test/confused-deputy
1m 13s
test: dedicated confused-deputy adversarial test (AT-CONFUSED) PR Anti-Garbage Gate #38: Pull request #7 opened by Aliipou
5s test/confused-deputy
test/confused-deputy
5s
test: dedicated confused-deputy adversarial test (AT-CONFUSED) CI #173: Pull request #7 opened by Aliipou
2m 51s test/confused-deputy
test/confused-deputy
2m 51s
formal: TLC-verify all 9 invariants (3.5M states) + fix spec filename CI #172: Pull request #6 opened by Aliipou
2m 45s fix/tlc-runnable
fix/tlc-runnable
2m 45s
formal: TLC-verify all 9 invariants (3.5M states) + fix spec filename PR Anti-Garbage Gate #37: Pull request #6 opened by Aliipou
10s fix/tlc-runnable
fix/tlc-runnable
10s
formal: TLC-verify all 9 invariants (3.5M states) + fix spec filename TCB Test Suite #84: Pull request #6 opened by Aliipou
1m 22s fix/tlc-runnable
fix/tlc-runnable
1m 22s
ci: boundary-guard — enforce 'AuthGate core depends on nothing' boundaries #2: Pull request #5 opened by Aliipou
9s ci/boundary-guard
ci/boundary-guard
9s
ci: boundary-guard — enforce 'AuthGate core depends on nothing' CI #171: Pull request #5 opened by Aliipou
2m 52s ci/boundary-guard
ci/boundary-guard
2m 52s
ci: boundary-guard — enforce 'AuthGate core depends on nothing' PR Anti-Garbage Gate #36: Pull request #5 opened by Aliipou
5s ci/boundary-guard
ci/boundary-guard
5s