Skip to content

Actions: sfw/forma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 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
adding trufflehog precommit hook and smt doc CI #44: Commit d70916e pushed by sfw
3m 15s main
main
3m 15s
fixing CI failures CI #43: Commit a59cd84 pushed by sfw
3m 5s main
main
3m 5s
fixing CI failures CI #42: Commit 6ab6cb9 pushed by sfw
5m 56s main
main
5m 56s
adding SMT example and refined solver CI #41: Commit f0ee540 pushed by sfw
3m 47s main
main
3m 47s
v0.2 fixes CI #40: Commit 6e353f3 pushed by sfw
4m 19s main
main
4m 19s
v0.2 forge changes CI #39: Commit 0a5d9e3 pushed by sfw
4m 50s main
main
4m 50s
v0.2 changes and forge harness example CI #38: Commit f118e13 pushed by sfw
4m 36s main
main
4m 36s
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