Refactor build sys #4
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
| name: Code linting | |
| on: | |
| pull_request: | |
| types: | |
| - opened | |
| - synchronize | |
| - reopened | |
| - ready_for_review | |
| - labeled | |
| env: | |
| USER: runner | |
| # Cancel the current workflow when new commit pushed | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number }} | |
| cancel-in-progress: true | |
| jobs: | |
| checkfmt: | |
| name: "Check formats" | |
| strategy: | |
| fail-fast: false | |
| runs-on: [self-hosted, linux, nixos] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| ref: ${{ github.head_ref }} | |
| - name: "Run testcases" | |
| run: | | |
| ALL_PASS=0 | |
| nix develop '.#t1.elaborator' -c mill -i _.reformat | |
| if ! git diff -q --exit-code; then | |
| msg="* Scala format fail, please run 'nix develop '.#t1.elaborator' -c mill -i _.reformat'" | |
| echo "$msg" | |
| echo "$msg" >> $GITHUB_STEP_SUMMARY | |
| git reset --hard | |
| fi | |
| nix fmt | |
| if ! git diff -q --exit-code; then | |
| msg="* Nix format fail, please run 'nix fmt'" | |
| echo "$msg" | |
| echo "$msg" >> $GITHUB_STEP_SUMMARY | |
| git reset --hard | |
| fi | |
| pushd difftest | |
| nix run '.#cargo' -- format | |
| if ! git diff -q --exit-code; then | |
| msg="* Cargo format fail, please run 'cd difftest; nix run .#cargo -- format'" | |
| echo "$msg" | |
| echo "$msg" >> $GITHUB_STEP_SUMMARY | |
| git reset --hard | |
| fi | |
| popd | |
| pushd t1rocketemu | |
| nix run '.#cargo' -- format | |
| if ! git diff -q --exit-code; then | |
| msg="* Cargo format fail, please run 'cd t1rocketemu; nix run .#cargo -- format'" | |
| echo "$msg" | |
| echo "$msg" >> $GITHUB_STEP_SUMMARY | |
| git reset --hard | |
| fi | |
| popd | |
| if nix run '.#rg' -- '\p{Script=Han}' > zh-hans.txt; then | |
| msg="* Found ZH_CN comments" | |
| echo "$msg" | |
| echo "$msg" >> $GITHUB_STEP_SUMMARY | |
| echo "```text" >> $GITHUB_STEP_SUMMARY | |
| cat zh-hans.txt >> $GITHUB_STEP_SUMMARY | |
| echo "```" >> $GITHUB_STEP_SUMMARY | |
| git reset --hard | |
| fi |