Skip to content

Actions: thanks-cohn/zig-reference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
244 workflow runs
244 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 Batch 18 Sv39 kernel permission domains plan validate #244: Commit 3dfac92 pushed by thanks-cohn
3m 14s main
main
3m 14s
Merge pull request #37 from thanks-cohn/codex/execute-codex_agentic_s… validate #243: Commit 4f469dc pushed by thanks-cohn
2m 55s main
main
2m 55s
Activate Sv39 using linker-owned frames and prove kernel continuation (Batch 17) validate #242: Pull request #37 opened by thanks-cohn
3m 0s codex/execute-codex_agentic_snowball_batch_17
codex/execute-codex_agentic_snowball_batch_17
3m 0s
Activate owned Sv39 kernel continuation validate #241: Commit ede082b pushed by thanks-cohn
3m 12s codex/execute-codex_agentic_snowball_batch_17
codex/execute-codex_agentic_snowball_batch_17
3m 12s
Add Batch 17 active Sv39 kernel mapping plan validate #240: Commit c772ab6 pushed by thanks-cohn
2m 29s codex/execute-codex_agentic_snowball_batch_17
codex/execute-codex_agentic_snowball_batch_17
2m 29s
Add Batch 17 active Sv39 kernel mapping plan validate #239: Commit c772ab6 pushed by thanks-cohn
1m 59s main
main
1m 59s
Merge Batch 16 bounded freestanding physical memory ownership validate #238: Commit 8ff90a2 pushed by thanks-cohn
3m 15s main
main
3m 15s
Prove bounded freestanding physical memory ownership validate #237: Pull request #36 opened by thanks-cohn
2m 24s codex/execute-batch-16-for-risc-v-memory-management
codex/execute-batch-16-for-risc-v-memory-management
2m 24s
Prove bounded freestanding physical memory ownership validate #236: Commit fa2df1b pushed by thanks-cohn
3m 4s codex/execute-batch-16-for-risc-v-memory-management
codex/execute-batch-16-for-risc-v-memory-management
3m 4s
Add Batch 16 physical memory ownership plan validate #235: Commit 94c4926 pushed by thanks-cohn
3m 18s codex/execute-batch-16-for-risc-v-memory-management
codex/execute-batch-16-for-risc-v-memory-management
3m 18s
Append current Morphic flagship interpretation validate #234: Commit 7d63bb3 pushed by thanks-cohn
7m 13s main
main
7m 13s
Clarify Alpz as Morphic flagship machine embodiment validate #233: Commit 73654ed pushed by thanks-cohn
3m 22s main
main
3m 22s
Document Morphic flagship direction and Alpz embodiment validate #232: Commit 676ff78 pushed by thanks-cohn
3m 6s main
main
3m 6s
Add Batch 16 physical memory ownership plan validate #231: Commit 94c4926 pushed by thanks-cohn
2m 46s main
main
2m 46s
Merge Batch 15 scheduler-facing monotonic time validate #230: Commit 8779bab pushed by thanks-cohn
1m 6s main
main
1m 6s
Adapter: feed RISC-V rdtime into BoundedDeterministicScheduler (Batch 15 verifier & report) validate #229: Pull request #35 opened by thanks-cohn
1m 2s codex/implement-batch-15-for-risc-v-scheduler
codex/implement-batch-15-for-risc-v-scheduler
1m 2s
Prove scheduler-facing RISC-V monotonic time validate #228: Commit 4b872de pushed by thanks-cohn
2m 47s codex/implement-batch-15-for-risc-v-scheduler
codex/implement-batch-15-for-risc-v-scheduler
2m 47s
Add Batch 15 scheduler-facing monotonic time Codex plan validate #227: Commit 21c2840 pushed by thanks-cohn
1m 29s codex/implement-batch-15-for-risc-v-scheduler
codex/implement-batch-15-for-risc-v-scheduler
1m 29s
Add standalone Linux userspace inheritance vision validate #226: Commit 12fe6bc pushed by thanks-cohn
55s main
main
55s
Restore original Age of Agents document validate #225: Commit 0fa5014 pushed by thanks-cohn
38s main
main
38s
Document Linux userspace inheritance and agent-reference vision validate #224: Commit 1644579 pushed by thanks-cohn
42s main
main
42s
Add Batch 15 scheduler-facing monotonic time Codex plan validate #223: Commit 21c2840 pushed by thanks-cohn
1m 13s main
main
1m 13s
Merge Batch 14 bounded monotonic supervisor ticks validate #222: Commit b4893c9 pushed by thanks-cohn
59s morphic-riscv-first-bounded-monotonic-supervisor-ticks
morphic-riscv-first-bounded-monotonic-supervisor-ticks
59s
Merge Batch 14 bounded monotonic supervisor ticks validate #221: Commit b4893c9 pushed by thanks-cohn
51s main
main
51s
Add From Z to R vision for instant traversal validate #220: Commit 029886d pushed by thanks-cohn
1m 11s main
main
1m 11s