Skip to content

Update examples to platform 0.9 and refresh CI#3

Open
Anton-4 wants to merge 10 commits into
mainfrom
update-luke-platform-url
Open

Update examples to platform 0.9 and refresh CI#3
Anton-4 wants to merge 10 commits into
mainfrom
update-luke-platform-url

Conversation

@Anton-4

@Anton-4 Anton-4 commented Jun 15, 2026

Copy link
Copy Markdown

Summary

  • Update the example platform URLs to lukewilliamboswell/roc-platform-template-zig release 0.9.
  • Adjust examples/headers.roc for the current Roc API by using Str.join_with(...) directly.
  • Refresh CI for the current nightly compiler path and bundle flow, including workspace-local temp paths for copied bundle examples.
  • Keep macOS coverage on macOS 15, using the macos-15-intel runner because arm64 macos-15/macos-latest runner allocation stayed queued.

Testing

  • roc fmt --check package examples
  • roc check package/main.roc
  • roc check examples/headers.roc --no-cache
  • ci/all_tests.sh
  • GitHub Actions: Ubuntu and Windows package/bundle checks passed on the previous pushed commit; this push moves macOS coverage to macos-15-intel to unblock hosted runner scheduling.

@Anton-4 Anton-4 changed the title updare Luke platform url update Luke platform url Jun 15, 2026
@lukewilliamboswell lukewilliamboswell changed the title update Luke platform url Update examples to platform 0.9 and refresh CI Jun 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants