Merge pull request #409 from moonbitlang/moon-fmt-extra-args #1733
This file contains 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
| # moon: The build system and package manager for MoonBit. | |
| # Copyright (C) 2024 International Digital Economy Academy | |
| # | |
| # This program is free software: you can redistribute it and/or modify | |
| # it under the terms of the GNU Affero General Public License as published by | |
| # the Free Software Foundation, either version 3 of the License, or | |
| # (at your option) any later version. | |
| # | |
| # This program is distributed in the hope that it will be useful, | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| # GNU Affero General Public License for more details. | |
| # | |
| # You should have received a copy of the GNU Affero General Public License | |
| # along with this program. If not, see <https://www.gnu.org/licenses/>. | |
| # | |
| # For inquiries, you can contact us via e-mail at [email protected]. | |
| name: CI | |
| on: | |
| push: | |
| branches: main | |
| pull_request: | |
| branches: main | |
| env: | |
| CARGO_TERM_COLOR: always | |
| RUST_BACKTRACE: 0 | |
| CARGO_TARPAULIN_VERSION: 0.30.0 | |
| jobs: | |
| CCAA-check: | |
| runs-on: ubuntu-latest | |
| if: github.event_name == 'pull_request' | |
| outputs: | |
| CCAA-signed: ${{ steps.CCAA-check-step.outputs.CCAA-signed }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: CCAA check | |
| id: CCAA-check-step | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| PR_AUTHOR=$(curl -s -H "Authorization: token $GITHUB_TOKEN" \ | |
| https://api.github.com/repos/${{ github.repository }}/pulls/${{ github.event.number }} \ | |
| | jq -r '.user.login') | |
| echo "The PR author is $PR_AUTHOR" | |
| EMAIL=$(git log -1 --pretty=format:'%ae') | |
| echo "Commit author email: $EMAIL" | |
| CCAA_RESPONSE=$(curl -s "https://mooncakes.io/api/v0/cla/check_with_repo?gh_username=$PR_AUTHOR&repo=moon&email=$EMAIL") | |
| echo "CCAA check response: $CCAA_RESPONSE" | |
| SIGNED=$(echo $CCAA_RESPONSE | jq -r '.signed') | |
| echo "CCAA-signed=$SIGNED" >> $GITHUB_ENV | |
| echo "If you have any questions about the CCAA result, please contact us." | |
| if [ "$SIGNED" != "true" ]; then | |
| echo "CCAA is not signed. Please read the document at https://github.com/moonbitlang/moon/tree/main/docs/dev" | |
| exit 1 | |
| else | |
| echo "CCAA is signed." | |
| fi | |
| license-header-check: | |
| name: license header check | |
| runs-on: ubuntu-latest | |
| env: | |
| HAWKEYE_VERSION: v5.6.0 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Download HawkEye | |
| run: curl --proto '=https' --tlsv1.2 -LsSf https://github.com/korandoru/hawkeye/releases/download/$HAWKEYE_VERSION/hawkeye-installer.sh | sh | |
| - name: License Header Check | |
| run: hawkeye check | |
| typo-check: | |
| name: typo-check | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| env: | |
| FORCE_COLOR: 1 | |
| TYPOS_VERSION: v1.18.0 | |
| steps: | |
| - name: download typos | |
| run: curl -LsSf https://github.com/crate-ci/typos/releases/download/$TYPOS_VERSION/typos-$TYPOS_VERSION-x86_64-unknown-linux-musl.tar.gz | tar zxf - -C ${CARGO_HOME:-~/.cargo}/bin | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - name: check for typos | |
| run: typos | |
| mdbook-check: | |
| name: mdBook Check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Setup mdBook | |
| uses: peaceiris/actions-mdbook@v2 | |
| with: | |
| mdbook-version: 'latest' | |
| - name: Build and Check mdBook | |
| run: | | |
| mdbook build docs/manual | |
| mdbook build docs/manual-zh | |
| test: | |
| needs: [typo-check, license-header-check] | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: | |
| - ubuntu-latest | |
| - macos-latest | |
| - macos-13 | |
| - windows-latest | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/[email protected] | |
| with: | |
| components: rustfmt, clippy | |
| - name: Cargo cache | |
| uses: actions/cache@v4 | |
| with: | |
| key: ${{ runner.os }}-cargo-${{ hashFiles('Cargo.lock') }} | |
| path: ~/.cargo/registry | |
| - name: install MoonBit(Unix) | |
| if: ${{ matrix.os != 'windows-latest' }} | |
| run: | | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m).tar.gz --output moonbit.tar.gz | |
| mkdir -p ~/.moon/bin | |
| mkdir -p ~/.moon/lib | |
| tar xf moonbit.tar.gz --directory ~/.moon/bin/ | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m)/moonrun --output ~/.moon/bin/moonrun | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m)/mooncake --output ~/.moon/bin/mooncake | |
| chmod +x ~/.moon/bin/moon* | |
| chmod +x ~/.moon/bin/tcc | |
| git clone --depth 1 https://github.com/moonbitlang/core.git ~/.moon/lib/core | |
| echo "$HOME/.moon/bin" >> $GITHUB_PATH | |
| echo "$GITHUB_WORKSPACE/target/debug" >> $GITHUB_PATH | |
| - name: install MoonBit(Windows) | |
| if: ${{ matrix.os == 'windows-latest' }} | |
| run: | | |
| Invoke-WebRequest -Uri https://cli.moonbitlang.com/moon-ci/Windows-x86_64.zip -OutFile moonbit.zip | |
| New-Item -ItemType Directory -Force -Path "$env:USERPROFILE/.moon/bin" | |
| New-Item -ItemType Directory -Force -Path "$env:USERPROFILE/.moon/lib" | |
| Expand-Archive -Path "moonbit.zip" -DestinationPath "$env:USERPROFILE/.moon/bin/" -Force | |
| Invoke-WebRequest -Uri https://cli.moonbitlang.com/moon-ci/Windows-x86_64/moonrun.exe -OutFile "$env:USERPROFILE/.moon/bin/moonrun.exe" | |
| Invoke-WebRequest -Uri https://cli.moonbitlang.com/moon-ci/Windows-x86_64/mooncake.exe -OutFile "$env:USERPROFILE/.moon/bin/mooncake.exe" | |
| git clone --depth 1 https://github.com/moonbitlang/core.git "$env:USERPROFILE/.moon/lib/core" | |
| "$env:USERPROFILE\.moon\bin" | Out-File -FilePath $env:GITHUB_PATH -Append | |
| "$env:GITHUB_WORKSPACE\target\debug" | Out-File -FilePath $env:GITHUB_PATH -Append | |
| - name: Build | |
| run: cargo build | |
| - name: Versions | |
| run: cargo run --bin moon version --all | |
| - name: Bundle core (Unix) | |
| if: ${{ matrix.os != 'windows-latest' }} | |
| run: cargo run --bin moon bundle --source-dir ~/.moon/lib/core --all | |
| - name: Bundle core (Windows) | |
| if: ${{ matrix.os == 'windows-latest' }} | |
| run: cargo run --bin moon bundle --source-dir "$env:USERPROFILE\.moon\lib\core" --all | |
| - name: Run tests | |
| run: cargo test | |
| - name: Check format | |
| if: matrix.os == 'ubuntu-latest' | |
| run: cargo fmt -- --check | |
| - name: Clippy | |
| if: matrix.os == 'ubuntu-latest' | |
| run: cargo clippy --all-targets --all-features -- -D warnings | |
| - name: Test core (Unix) | |
| if: ${{ matrix.os != 'windows-latest' }} | |
| run: | | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --target wasm-gc | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --target js | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --target wasm | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --release --target wasm-gc | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --release --target js | |
| cargo run --bin moon test --source-dir ~/.moon/lib/core --release --target wasm | |
| - name: Test core (Windows) | |
| if: ${{ matrix.os == 'windows-latest' }} | |
| run: | | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --target wasm-gc | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --target js | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --target wasm | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --release --target wasm-gc | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --release --target js | |
| cargo run --bin moon test --source-dir "$env:USERPROFILE\.moon\lib\core" --release --target wasm | |
| coverage: | |
| needs: test | |
| runs-on: macos-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - uses: dtolnay/[email protected] | |
| - name: Checkout moonc-version | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: moonc-version-dont-delete | |
| path: moonc-version-dont-delete | |
| - name: Copy moonc-version file to workspace | |
| run: | | |
| cp moonc-version-dont-delete/moonc-version . | |
| - name: install MoonBit(Unix) | |
| run: | | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m).tar.gz --output moonbit.tar.gz | |
| mkdir -p ~/.moon/bin | |
| mkdir -p ~/.moon/lib | |
| tar xf moonbit.tar.gz --directory ~/.moon/bin/ | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m)/moonrun --output ~/.moon/bin/moonrun | |
| curl https://cli.moonbitlang.com/moon-ci/$(uname -s)-$(uname -m)/mooncake --output ~/.moon/bin/mooncake | |
| chmod +x ~/.moon/bin/moon* | |
| chmod +x ~/.moon/bin/tcc | |
| git clone --depth 1 https://github.com/moonbitlang/core.git ~/.moon/lib/core | |
| echo "$HOME/.moon/bin" >> $GITHUB_PATH | |
| echo "$GITHUB_WORKSPACE/target/debug" >> $GITHUB_PATH | |
| - name: install cargo-tarpaulin ${{ env.CARGO_TARPAULIN_VERSION }} | |
| run: | | |
| cd "${CARGO_HOME}/bin" | |
| curl -sL https://github.com/xd009642/tarpaulin/releases/download/${CARGO_TARPAULIN_VERSION}/cargo-tarpaulin-aarch64-apple-darwin.tar.gz | tar zxf - -C ${CARGO_HOME:-~/.cargo}/bin | |
| - name: Build | |
| run: cargo build | |
| - name: Versions | |
| run: cargo run --bin moon version --all | |
| - name: Bundle core (Unix) | |
| run: cargo run --bin moon bundle --source-dir ~/.moon/lib/core --all | |
| - name: Generate code coverage | |
| run: cargo tarpaulin --ignore-tests --out Xml | |
| - name: Upload coverage reports to Codecov | |
| if: github.ref == 'refs/heads/main' | |
| uses: codecov/[email protected] | |
| with: | |
| token: ${{secrets.CODECOV_TOKEN}} | |
| fail_ci_if_error: true |