Skip to content

Actions: sfw/forma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refocus FORMA Codex skill on language and tooling usage CI #37: Commit a285af5 pushed by sfw
1m 20s main
main
1m 20s
Add OpenAI Codex skill for FORMA development CI #36: Commit 49f2834 pushed by sfw
1m 17s main
main
1m 17s
Revise skill files for end-users — remove compiler skill, improve lan… CI #35: Commit e23d33b pushed by sfw
1m 26s main
main
1m 26s
Add Claude Code skill files for FORMA language and compiler development CI #34: Commit 4712691 pushed by sfw
1m 25s main
main
1m 25s
Fix grammar export — add 7 missing language features to EBNF and JSON CI #33: Commit a521541 pushed by sfw
1m 15s main
main
1m 15s
Expand ai-reference.md — add ~150 missing builtins, syntax features, … CI #32: Commit 112025d pushed by sfw
1m 13s main
main
1m 13s
Fix misattributed 94.8% statistic across all docs CI #31: Commit f21f697 pushed by sfw
1m 20s main
main
1m 20s
Sprint 51: Stdlib Completeness — 18 new builtins, higher-order collec… CI #30: Commit 23dd5b8 pushed by sfw
1m 22s main
main
1m 22s
Fix copy-prop soundness: invalidate mappings on IndexAssign writes CI #29: Commit 6696cbd pushed by sfw
1m 39s main
main
1m 39s
Sprint 50.1: Fix copy propagation soundness — block-local forward pro… CI #28: Commit 5ef9b75 pushed by sfw
1m 16s main
main
1m 16s
Sprint 50: MIR Optimization Pass Phase 1 — constant fold, copy prop, … CI #27: Commit 5ccc2b3 pushed by sfw
1m 18s main
main
1m 18s
Sprint 48-49: Contract patterns expansion + correctness fixes CI #26: Commit 9ba34c6 pushed by sfw
1m 20s main
main
1m 20s
Update README.md CI #25: Commit 4c0bd90 pushed by sfw
1m 19s main
main
1m 19s
Fix production-ready claim in CHANGELOG.md CI #24: Commit 316741f pushed by sfw
2m 6s main
main
2m 6s
Consolidate to MIT license, move CI badge to top of README CI #23: Commit 4012072 pushed by sfw
2m 11s main
main
2m 11s
Fix LLVM apt key: dearmor GPG key for signed-by keyring CI #22: Commit 3bb43b4 pushed by sfw
2m 0s main
main
2m 0s
Sprint 47: Public Repo Hardening — CI supply-chain, action pinning, s… CI #21: Commit d5f7c9e pushed by sfw
2m 2s main
main
2m 2s
updating docs CI #20: Commit 4b9a508 pushed by sfw
2m 4s main
main
2m 4s
Fix max_steps default: 10M instead of 1M (sudoku showcase needs >1M s… CI #19: Commit 297675e pushed by sfw
2m 7s main
main
2m 7s
Sprint 46 Polish: richer explain, span-based keys, @pure, box-drawing… CI #18: Commit a020bd4 pushed by sfw
5m 44s main
main
5m 44s
sprint 46 complete CI #17: Commit 1cdc040 pushed by sfw
5m 34s main
main
5m 34s
Sprint 45: Coverage + CLI Hardening — accurate builtin coverage audit… CI #16: Commit 031f1a2 pushed by sfw
1m 43s main
main
1m 43s
adding sprint 44 CI #15: Commit f78fc0e pushed by sfw
1m 25s main
main
1m 25s
Sprint 43: CLI Error Consistency + Import Validation — check() now lo… CI #14: Commit e3ff025 pushed by sfw
1m 35s main
main
1m 35s
Update examples and fixtures to use f main() convention (no return type) CI #13: Commit c1e70e5 pushed by sfw
1m 34s main
main
1m 34s