Skip to content

Actions: Aliipou/authgate-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
481 workflow runs
481 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
Add GrokKernelMiddleware (xAI) adapter, completing OpenAI/Anthropic/G… TCB Test Suite #117: Commit b1e66a4 pushed by Aliipou
1m 9s main
main
1m 9s
Add GrokKernelMiddleware (xAI) adapter, completing OpenAI/Anthropic/G… CI #209: Commit b1e66a4 pushed by Aliipou
3m 12s main
main
3m 12s
Fix differential fuzzer: dead import always skipped it, then fix what… TCB Test Suite #116: Commit 3b7fd08 pushed by Aliipou
1m 2s main
main
1m 2s
Fix differential fuzzer: dead import always skipped it, then fix what… CI #208: Commit 3b7fd08 pushed by Aliipou
3m 3s main
main
3m 3s
Correct Proofs.lean status header now that it actually builds TCB Test Suite #115: Commit 9ff9cb4 pushed by Aliipou
1m 3s main
main
1m 3s
Correct Proofs.lean status header now that it actually builds Formal verification #17: Commit 9ff9cb4 pushed by Aliipou
12s main
main
12s
Correct Proofs.lean status header now that it actually builds CI #207: Commit 9ff9cb4 pushed by Aliipou
3m 16s main
main
3m 16s
Wire up formal/lean4/Authgate as a real lake project; fix proofs that… CI #206: Commit 303fdba pushed by Aliipou
3m 8s main
main
3m 8s
Wire up formal/lean4/Authgate as a real lake project; fix proofs that… TCB Test Suite #114: Commit 303fdba pushed by Aliipou
1m 1s main
main
1m 1s
Wire up formal/lean4/Authgate as a real lake project; fix proofs that… Formal verification #16: Commit 303fdba pushed by Aliipou
13s main
main
13s
Update TLC verification run log Formal verification #1: Commit ad0777a pushed by Aliipou
38s protocol/domain-separation
protocol/domain-separation
38s
Add OntologicalRoot.lean formalizing GOD_HUMAN_BOUNDARY, update axiom… CI #205: Commit e70cfaa pushed by Aliipou
3m 13s main
main
3m 13s
Add OntologicalRoot.lean formalizing GOD_HUMAN_BOUNDARY, update axiom… TCB Test Suite #113: Commit e70cfaa pushed by Aliipou
57s main
main
57s
Add OntologicalRoot.lean formalizing GOD_HUMAN_BOUNDARY, update axiom… Formal verification #15: Commit e70cfaa pushed by Aliipou
17s main
main
17s
feat: close the consent-semantics gap; document why God->Human stays … TCB Test Suite #112: Commit 67ffdd9 pushed by Aliipou
1m 51s main
main
1m 51s
feat: close the consent-semantics gap; document why God->Human stays … CI #204: Commit 67ffdd9 pushed by Aliipou
3m 22s main
main
3m 22s
fix: session_clock tests were time-bombed against the real wall clock CI #203: Commit a296c02 pushed by Aliipou
3m 2s main
main
3m 2s
fix: session_clock tests were time-bombed against the real wall clock TCB Test Suite #111: Commit a296c02 pushed by Aliipou
1m 3s main
main
1m 3s
site: update formal-verification numbers to match the with-legitimacy… Sandbox enforcement #64: Commit b523a33 pushed by Aliipou
3m 31s main
main
3m 31s
site: update formal-verification numbers to match the with-legitimacy… Formal verification #14: Commit b523a33 pushed by Aliipou
13s main
main
13s
site: update formal-verification numbers to match the with-legitimacy… CI #202: Commit b523a33 pushed by Aliipou
3m 30s main
main
3m 30s
site: update formal-verification numbers to match the with-legitimacy… TCB Test Suite #110: Commit b523a33 pushed by Aliipou
2m 10s main
main
2m 10s
site: update formal-verification numbers to match the with-legitimacy… Seccomp enforcement #13: Commit b523a33 pushed by Aliipou
29s main
main
29s
README: add a live-demo banner above the fold TCB Test Suite #109: Commit e29d3de pushed by Aliipou
2m 2s main
main
2m 2s
README: add a live-demo banner above the fold CI #201: Commit e29d3de pushed by Aliipou
3m 0s main
main
3m 0s