Skip to content

Actions: FluffyAIcode/Kakeya-LLM-Inference-engine

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
595 workflow runs
595 workflow runs

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
Merge pull request #231 from FluffyAIcode/AgentMemory/proof-foundatio… CI #545: Commit 5afd103 pushed by FluffyAIcode
3m 56s main
main
3m 56s
Typed proof foundations CI #544: Pull request #231 opened by FluffyAIcode
4m 10s AgentMemory/proof-foundations-0726
AgentMemory/proof-foundations-0726
4m 10s
Merge pull request #230 from FluffyAIcode/AgentMemory/local-ci-subset… CI #543: Commit 1c5f2c0 pushed by FluffyAIcode
4m 6s main
main
4m 6s
ci: make local checks a GitHub subset CI #542: Pull request #230 opened by FluffyAIcode
3m 49s AgentMemory/local-ci-subset-0722
AgentMemory/local-ci-subset-0722
3m 49s
Merge pull request #228 from FluffyAIcode/AgentMemory/autonomous-prem… CI #541: Commit 8472d69 pushed by FluffyAIcode
4m 15s main
main
4m 15s
Merge pull request #229 from FluffyAIcode/AgentMemory/decode-worker-s… CI #540: Commit 8cf5a99 pushed by FluffyAIcode
50s main
main
50s
fix(runtime): stabilize isolated Prefill sessions CI #539: Pull request #229 synchronize by FluffyAIcode
4m 22s AgentMemory/decode-worker-sink-window-fix-0722
AgentMemory/decode-worker-sink-window-fix-0722
4m 22s
feat(autoresearch): certify autonomous proof decomposition CI #538: Pull request #228 opened by FluffyAIcode
4m 3s AgentMemory/autonomous-premise-recovery-0722
AgentMemory/autonomous-premise-recovery-0722
4m 3s
fix(runtime): stabilize isolated Prefill sessions CI #537: Pull request #229 opened by FluffyAIcode
4m 59s AgentMemory/decode-worker-sink-window-fix-0722
AgentMemory/decode-worker-sink-window-fix-0722
4m 59s
Merge pull request #227 from FluffyAIcode/agent/primary-decode-worker… CI #536: Commit c8b84d1 pushed by FluffyAIcode
7m 13s main
main
7m 13s
Harden Primary decode lifecycle and isolate MLX worker CI #535: Pull request #227 synchronize by FluffyAIcode
3m 50s agent/primary-decode-worker-acceptance-integration-0721
agent/primary-decode-worker-acceptance-integration-0721
3m 50s
Harden Primary decode lifecycle and isolate MLX worker CI #534: Pull request #227 synchronize by FluffyAIcode
8m 16s agent/primary-decode-worker-acceptance-integration-0721
agent/primary-decode-worker-acceptance-integration-0721
8m 16s
Harden Primary decode lifecycle and isolate MLX worker CI #533: Pull request #227 synchronize by FluffyAIcode
3m 50s agent/primary-decode-worker-acceptance-integration-0721
agent/primary-decode-worker-acceptance-integration-0721
3m 50s
Harden Primary decode lifecycle and isolate MLX worker CI #532: Pull request #227 opened by FluffyAIcode
3m 58s agent/primary-decode-worker-acceptance-integration-0721
agent/primary-decode-worker-acceptance-integration-0721
3m 58s
Merge pull request #226 from FluffyAIcode/AgentMemory/strategy-budget… CI #531: Commit 22e722f pushed by FluffyAIcode
3m 45s main
main
3m 45s
Defer oversized Strategy replans without stopping proof CI #530: Pull request #226 opened by FluffyAIcode
4m 1s AgentMemory/strategy-budget-defer-0721
AgentMemory/strategy-budget-defer-0721
4m 1s
Merge pull request #225 from FluffyAIcode/AgentMemory/lean-gate-warm-… CI #529: Commit 69e4b09 pushed by FluffyAIcode
3m 51s main
main
3m 51s
Warm and retry Lean signature typechecks CI #528: Pull request #225 opened by FluffyAIcode
4m 12s AgentMemory/lean-gate-warm-retry-0721
AgentMemory/lean-gate-warm-retry-0721
4m 12s
Merge pull request #224 from FluffyAIcode/AgentMemory/lean-signature-… CI #527: Commit 9ffe01d pushed by FluffyAIcode
5m 11s main
main
5m 11s
Gate proof leaves with Lean theorem signatures CI #526: Pull request #224 opened by FluffyAIcode
4m 14s AgentMemory/lean-signature-gate-0721
AgentMemory/lean-signature-gate-0721
4m 14s
Merge pull request #223 from FluffyAIcode/AgentMemory/semantic-ancest… CI #525: Commit 7e178cf pushed by FluffyAIcode
2m 25s main
main
2m 25s
Persist semantic audit before candidate rollback CI #524: Pull request #223 opened by FluffyAIcode
1m 50s AgentMemory/semantic-ancestor-rollback-0721
AgentMemory/semantic-ancestor-rollback-0721
1m 50s
Merge pull request #222 from FluffyAIcode/AgentMemory/semantic-novelt… CI #523: Commit 5ab9921 pushed by FluffyAIcode
2m 29s main
main
2m 29s
Reject semantic restatement proof children CI #522: Pull request #222 opened by FluffyAIcode
3m 1s AgentMemory/semantic-novelty-gate-0721
AgentMemory/semantic-novelty-gate-0721
3m 1s
Merge pull request #221 from FluffyAIcode/AgentMemory/event-driven-au… CI #521: Commit 941b401 pushed by FluffyAIcode
1m 53s main
main
1m 53s