moondepsolve/.github/workflows/ci.yml at master · python123-ops/moondepsolve · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
name: CI

on:
  push:
  pull_request:

jobs:
  quality:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout
        uses: actions/checkout@v4
        with:
          fetch-depth: 0
          ref: ${{ github.event.pull_request.head.sha || github.sha }}

      - 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 --ref HEAD

      - name: Install MoonBit
        run: |
          curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
          echo "$HOME/.moon/bin" >> "$GITHUB_PATH"

      - name: Update MoonBit registry
        run: moon update

      - name: Show MoonBit version
        run: moon version --all

      - name: Update interfaces
        run: |
          moon info
          git diff --exit-code -- '*.mbti'

      - name: Check formatting
        run: moon fmt --check

      - name: Check diagnostics
        run: moon check --deny-warn

      - name: Run library tests with coverage
        run: moon test --deny-warn --enable-coverage

      - name: Run in-memory demo
        run: moon run cmd/main --deny-warn

      - name: Build and test native CLI
        run: |
          moon check --target native --deny-warn
          moon test --target native --deny-warn

      - name: Verify file-driven CLI outputs
        run: sh scripts/demo-v0.3.sh