Standardise CI & Makefile across Miden repos #28
Workflow file for this run
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
| # Runs linting related jobs. | |
| name: lint | |
| on: | |
| push: | |
| branches: [main, next] | |
| pull_request: | |
| types: [opened, reopened, synchronize] | |
| jobs: | |
| clippy: | |
| name: clippy nightly on ubuntu-latest | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@main | |
| - name: Clippy | |
| run: | | |
| rustup update --no-self-update nightly | |
| rustup +nightly component add clippy | |
| make clippy | |
| rustfmt: | |
| name: rustfmt check nightly on ubuntu-latest | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@main | |
| - name: Rustfmt | |
| run: | | |
| rustup update --no-self-update nightly | |
| rustup +nightly component add rustfmt | |
| make format-check | |
| doc: | |
| name: doc stable on ubuntu-latest | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@main | |
| - name: Build docs | |
| run: | | |
| rustup update --no-self-update | |
| make doc | |
| version: | |
| name: check rust version consistency | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@main | |
| with: | |
| profile: minimal | |
| override: true | |
| - name: check rust versions | |
| run: ./scripts/check-rust-version.sh | |
| check-changelog: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@main | |
| with: | |
| fetch-depth: 0 | |
| - name: Check if CHANGELOG.md is modified | |
| run: | | |
| # Get the list of changed files in the PR | |
| changed_files=$(git diff --name-only origin/${{ github.event.pull_request.base.ref }}...${{ github.sha }}) | |
| # Check if CHANGELOG.md is in the list of changed files | |
| if echo "$changed_files" | grep -q '^CHANGELOG.md$'; then | |
| echo "CHANGELOG.md has been modified." | |
| else | |
| echo $'::warning file=CHANGELOG.md::CHANGELOG.md has not been modified.\n This warning can be ignored if is has been explicitely decided not to log changes.\n Except in this situation, make sure to add log changes.' | |
| exit 1 | |
| fi |