Skip to content

chore: add nightly CI workflow - #2

Merged
bobzhang merged 1 commit into
mainfrom
chore/add-ci
Apr 18, 2026
Merged

bobzhang merged 1 commit into
mainfrom
chore/add-ci

Conversation

@bobzhang

@bobzhang bobzhang commented Apr 18, 2026 •

Copy link
Copy Markdown
Contributor

Why

This repo currently ships no GitHub Actions workflows, so broken changes
on main aren't caught until someone runs moon check locally. Adds a
simple CI job that runs on every push and PR.

What the workflow does

  • Installs MoonBit from the nightly channel
    (https://cli.moonbitlang.com/install/unix.sh | bash -s nightly)
  • moon update
  • moon check
  • moon test

No format check for now — wanted to keep this change low-friction; can be
added later.

Based on the existing moonbit-community/loop_invariants CI template.

🤖 Generated with Claude Code


Open with Devin

Adds a GitHub Actions workflow that runs the basic `moon check` and
`moon test` pipeline against the MoonBit nightly channel on every push
and pull request.

Generated with Claude Code (https://claude.com/claude-code).

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 1 additional finding.

Open in Devin Review

@bobzhang
bobzhang merged commit eb6c8ea into main Apr 18, 2026
2 checks passed
@bobzhang
bobzhang deleted the chore/add-ci branch April 18, 2026 03:53
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.

1 participant