Skip to content

Add GitHub CI with mlugg/setup-zig and Zig 0.16.0#57

Merged
ikskuh merged 8 commits intomasterfrom
copilot/add-github-ci-setup-zig
Apr 26, 2026
Merged

Add GitHub CI with mlugg/setup-zig and Zig 0.16.0#57
ikskuh merged 8 commits intomasterfrom
copilot/add-github-ci-setup-zig

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 26, 2026

  • Add zig build examples step to CI workflow
  • Add zig build docs step to CI workflow

Copilot AI requested a review from ikskuh April 26, 2026 10:04
@ikskuh ikskuh marked this pull request as ready for review April 26, 2026 10:54
Comment thread .github/workflows/ci.yml Outdated
Comment on lines +5 to +7
branches: [main]
pull_request:
branches: [main]
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Branch name is master, not main.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed in bccc41a — both push and pull_request branches now reference master.

Copilot AI requested a review from ikskuh April 26, 2026 10:56
Comment thread .github/workflows/ci.yml Outdated
steps:
- uses: actions/checkout@v4

- uses: mlugg/setup-zig@v1
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Use v2

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Updated to mlugg/setup-zig@v2 in 027dabe.

Agent-Logs-Url: https://github.com/ZigEmbeddedGroup/serial/sessions/baf58f80-d627-4db8-b32b-ab1d8b268c78

Co-authored-by: ikskuh <3932972+ikskuh@users.noreply.github.com>
Copilot AI requested a review from ikskuh April 26, 2026 11:11
@ikskuh ikskuh merged commit 4c4caab into master Apr 26, 2026
1 check passed
@ikskuh ikskuh deleted the copilot/add-github-ci-setup-zig branch April 26, 2026 11:54
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