docs: prepare MoonDepSolve v0.2 acceptance release #8
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: ci | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| moonbit: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Configure contributor identity | |
| run: | | |
| git config user.name python123 | |
| git config user.email python123@users.noreply.gitlink.org.cn | |
| - name: Verify contributor identity | |
| run: python scripts/check_contributor_identity.py | |
| - name: Install MoonBit | |
| run: | | |
| curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash | |
| echo "$HOME/.moon/bin" >> "$GITHUB_PATH" | |
| - name: Show MoonBit version | |
| run: moon version | |
| - name: Update interfaces | |
| run: | | |
| moon info | |
| git diff --exit-code -- '*.mbti' | |
| - name: Check formatting | |
| run: moon fmt --check | |
| - name: Run tests | |
| run: moon test --enable-coverage | |
| - name: Run CLI demo | |
| run: moon run cmd/main |