Skip to content

Actions: Cod-e-Codes/ion-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 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
docs: update CHANGELOG for codegen banner and example snapshot docs CI #23: Commit f84e365 pushed by Cod-e-Codes
4m 50s main
main
4m 50s
Push on main CodeQL #20: by Cod-e-Codes
1m 52s main
main
1m 52s
Harden generated C banner provenance and comment escaping CI #22: Commit 00895da pushed by Cod-e-Codes
4m 47s main
main
4m 47s
Push on main CodeQL #19: by Cod-e-Codes
1m 45s main
main
1m 45s
Document checked-in example C and emit codegen banner CI #21: Commit 6984378 pushed by Cod-e-Codes
5m 4s main
main
5m 4s
Push on main CodeQL #18: by Cod-e-Codes
1m 48s main
main
1m 48s
docs: fix paper-seeds formatting CI #20: Commit 7530019 pushed by Cod-e-Codes
4m 49s main
main
4m 49s
Push on main CodeQL #17: by Cod-e-Codes
1m 46s main
main
1m 46s
docs: fix CHANGELOG formatting CI #19: Commit 4136eca pushed by Cod-e-Codes
4m 25s main
main
4m 25s
Push on main CodeQL #16: by Cod-e-Codes
3m 17s main
main
3m 17s
docs: rewrite CHANGELOG from commit history CI #18: Commit 07decb1 pushed by Cod-e-Codes
4m 35s main
main
4m 35s
Push on main CodeQL #15: by Cod-e-Codes
1m 40s main
main
1m 40s
Fix LSP hover for module-qualified calls showing int CI #17: Commit dd13325 pushed by Cod-e-Codes
4m 34s main
main
4m 34s
Push on main CodeQL #14: by Cod-e-Codes
1m 52s main
main
1m 52s
Mirror compiler symbol data in LSP and fix cross-file span collisions CI #16: Commit 3a04c94 pushed by Cod-e-Codes
4m 34s main
main
4m 34s
Push on main CodeQL #13: by Cod-e-Codes
1m 53s main
main
1m 53s
fix(lsp): clear diagnostics when a document is closed CI #15: Commit 1d6468f pushed by Cod-e-Codes
4m 51s main
main
4m 51s
Push on main CodeQL #12: by Cod-e-Codes
1m 48s main
main
1m 48s
Add Cursor skills for authoring, bug finding, and PL research CI #14: Commit 182fe6b pushed by Cod-e-Codes
4m 48s main
main
4m 48s
Push on main CodeQL #11: by Cod-e-Codes
1m 57s main
main
1m 57s
fix(tc): enforce whole-owner borrow exclusivity for field paths CI #13: Commit 749e603 pushed by Cod-e-Codes
4m 30s main
main
4m 30s
Push on main CodeQL #10: by Cod-e-Codes
1m 47s main
main
1m 47s
fix(tc): forbid owner use while a lasting borrow is active CI #12: Commit ad815bf pushed by Cod-e-Codes
4m 50s main
main
4m 50s
Push on main CodeQL #9: by Cod-e-Codes
1m 49s main
main
1m 49s
fix(tc): reject assignment and spawn capture while borrowed CI #11: Commit 9592284 pushed by Cod-e-Codes
3m 38s main
main
3m 38s