Skip to content

Actions: zyntax-project/zyntax

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 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
style: improve readability of assertions in phase J.3 test Rust CI #41: Commit 39fab3f pushed by darmie
1m 35s main
main
1m 35s
style: format code for consistency and readability in SSA and ABI emi… Rust CI #40: Commit 5b0dfab pushed by darmie
1m 40s main
main
1m 40s
style: clean up formatting and improve readability in multiple files Rust CI #39: Commit 7b78718 pushed by darmie
2m 20s main
main
2m 20s
feat(effects): M2 — Tier 1 end-to-end emission, PerformEffect from so… Rust CI #38: Commit 33bf1c7 pushed by darmie
1m 10s main
main
1m 10s
feat(algebraic_effects): M1.2 — extract @with annotations + with_hand… Rust CI #37: Commit a4dfa21 pushed by darmie
56s main
main
56s
fix(embed): wire stdlib import resolver into TieredRuntime Rust CI #36: Commit 28d099c pushed by darmie
1m 58s main
main
1m 58s
remove broken logo Publish Wiki & Deploy Site #42: Commit e97ca74 pushed by darmie
1m 2s main
main
1m 2s
remove broken logo Rust CI #35: Commit e97ca74 pushed by darmie
1m 35s main
main
1m 35s
fix(ci): make LLVM backend opt-in to fix CI lint job Rust CI #34: Commit 07f30f3 pushed by darmie
1m 28s main
main
1m 28s
fix(web): update github links to new organization Publish Wiki & Deploy Site #41: Commit 34f608d pushed by darmie
1m 3s main
main
1m 3s
fix(web): update github links to new organization Rust CI #33: Commit 34f608d pushed by darmie
1m 36s main
main
1m 36s
fix: update favicon copy to use SVG format for consistency Rust CI #32: Commit 34dab2a pushed by darmie
1m 23s main
main
1m 23s
fix: update favicon copy to use SVG format for consistency Publish Wiki & Deploy Site #40: Commit 34dab2a pushed by darmie
34s main
main
34s
fix: update favicon link to use SVG format for better quality Publish Wiki & Deploy Site #39: Commit e92c66a pushed by darmie
35s main
main
35s
fix: update favicon link to use SVG format for better quality Rust CI #31: Commit e92c66a pushed by darmie
1m 10s main
main
1m 10s
Update website icons and manifest files Rust CI #30: Commit bf93c1b pushed by darmie
1m 26s main
main
1m 26s
Update website icons and manifest files Publish Wiki & Deploy Site #38: Commit bf93c1b pushed by darmie
31s main
main
31s
feat: add favicon and web app manifest for improved branding and user… Publish Wiki & Deploy Site #37: Commit 1041c45 pushed by darmie
34s main
main
34s
feat: add favicon and web app manifest for improved branding and user… Rust CI #29: Commit 1041c45 pushed by darmie
1m 29s main
main
1m 29s
feat: enhance website metadata and add Open Graph/Twitter Card support Publish Wiki & Deploy Site #36: Commit 9026559 pushed by darmie
31s main
main
31s
feat: enhance website metadata and add Open Graph/Twitter Card support Rust CI #28: Commit 9026559 pushed by darmie
1m 10s main
main
1m 10s
fix: update URLs to point to zyntax.org for consistency Rust CI #27: Commit 3eeabbc pushed by darmie
1m 13s main
main
1m 13s
fix: update URLs to point to zyntax.org for consistency Publish Wiki & Deploy Site #35: Commit 3eeabbc pushed by darmie
33s main
main
33s
feat: add logo SVG and update brand name in configuration Rust CI #26: Commit 670703a pushed by darmie
1m 15s main
main
1m 15s
feat: add logo SVG and update brand name in configuration Publish Wiki & Deploy Site #34: Commit 670703a pushed by darmie
33s main
main
33s