Skip to content

Actions: redroostertech/aria-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
Merge branch 'data-model-spans-stmts-pats' into data-model-arrays-rec… CI #20: Commit da39fd0 pushed by redroostertech
3s main
main
3s
Merge branch 'data-model-spans-stmts-pats' into data-model-arrays-rec… CI #19: Commit da39fd0 pushed by redroostertech
4s data-model-arrays-records-tuples
data-model-arrays-records-tuples
4s
Live LLM benchmark infrastructure (follow-on 5/5) CI #18: Commit 0021db8 pushed by redroostertech
2s data-model-arrays-records-tuples
data-model-arrays-records-tuples
2s
Reverse-mode grad on the native backend (follow-on 4/5) CI #17: Commit ecb2013 pushed by redroostertech
2s data-model-arrays-records-tuples
data-model-arrays-records-tuples
2s
Real learned embeddings: count-based PPMI+SVD distributional model (f… CI #16: Commit 83ac3e9 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Data-flow layer + unused-binding lint (follow-on 2/5) CI #15: Commit 0312082 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Typed call edges: per-call-site argument-type inference (follow-on 1/5) CI #14: Commit 706f015 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Fix adversarial-review findings: call-graph scoping, recursion-guard,… CI #13: Commit ecd0afd pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Typed call graph + captured output in the agent loop's feedback CI #12: Commit d3ef9fa pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Precise source spans: the multiplier across diagnostics, traces, call… CI #11: Commit b67d206 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
First-class caller/line awareness: runtime stack traces + static call… CI #10: Commit 40bce88 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Measure author-correctness: output capture + agent task suite/benchmark CI #9: Commit 3f6387b pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
aria agent: provider-agnostic AI authoring loop (write -> check -> fi… CI #8: Commit e4377b8 pushed by redroostertech
4s data-model-arrays-records-tuples
data-model-arrays-records-tuples
4s
Minimal LSP server (aria lsp): live diagnostics for editors and agents CI #7: Commit 84c4e5d pushed by redroostertech
4s data-model-arrays-records-tuples
data-model-arrays-records-tuples
4s
Reverse-mode autodiff: grad builtin (interpreter) + vec_sub CI #6: Commit 4a83ad6 pushed by redroostertech
16s data-model-arrays-records-tuples
data-model-arrays-records-tuples
16s
Fix adversarial-review findings on the recent work (recursion guard, … CI #5: Commit ec65733 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Autodiff spike: forward-mode AD + a program that learns (pure Aria) CI #4: Commit 2c3a424 pushed by redroostertech
4s data-model-arrays-records-tuples
data-model-arrays-records-tuples
4s
Milestone 1: structured diagnostics (aria check --json) — the agent-l… CI #3: Commit 35ddcaf pushed by redroostertech
5s data-model-arrays-records-tuples
data-model-arrays-records-tuples
5s
Close the test/robustness gap: native recursion guard + fuzzer covers… CI #2: Commit 5660f81 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s
Fix deep-review findings: soundness holes, compiler panic, divergence… CI #1: Commit bbba8a7 pushed by redroostertech
3s data-model-arrays-records-tuples
data-model-arrays-records-tuples
3s