Skip to content

infra: add build check CI workflow#124

Merged
marc0olo merged 1 commit intomainfrom
infra/build-ci
Apr 17, 2026
Merged

infra: add build check CI workflow#124
marc0olo merged 1 commit intomainfrom
infra/build-ci

Conversation

@marc0olo
Copy link
Copy Markdown
Member

Summary

  • Runs npm run build on every PR to catch build failures before merge
  • Initializes .sources/examples submodule (required by the snippet plugin)
  • Mirrors the setup from deploy-ic.yml (same node version, same action pins)
  • Closes infra: set up CI workflows #116

Sync recommendation

hand-written

@marc0olo marc0olo merged commit 6111a0f into main Apr 17, 2026
1 check passed
@marc0olo marc0olo deleted the infra/build-ci branch April 17, 2026 23:15
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.

infra: set up CI workflows

1 participant