208 support metrics report generation #342
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: GHC (build, test, haddock) | |
| # Controls when the workflow will run | |
| on: | |
| push: | |
| branches: [master] | |
| tags: [v*] | |
| pull_request: | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| permissions: | |
| contents: write # to submit Haddock documentation to GitHub Pages | |
| jobs: | |
| check: | |
| name: "Run static checks" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 📥 Checkout repository | |
| uses: actions/checkout@v4 | |
| - uses: haskell-actions/run-fourmolu@v10 | |
| with: | |
| version: "0.14.0.0" | |
| pattern: | | |
| eo-phi-normalizer/**/*.hs | |
| !eo-phi-normalizer/src/Language/EO/Phi/Syntax/**/*.hs | |
| !eo-phi-normalizer/Setup.hs | |
| - uses: haskell-actions/hlint-setup@v2 | |
| - name: Get hlint-bin | |
| id: get-hlint-bin | |
| run: | | |
| chmod +x scripts/run-hlint.sh | |
| echo "hlint-bin=$(realpath scripts/run-hlint.sh)" >> $GITHUB_OUTPUT | |
| - uses: haskell-actions/hlint-run@v2 | |
| with: | |
| hlint-bin: ${{ steps.get-hlint-bin.outputs.hlint-bin }} | |
| pipeline: | |
| name: Run pipeline | |
| needs: check | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, windows-latest, macos-latest] | |
| fail-fast: false | |
| steps: | |
| - name: 📥 Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - name: 🧰 Setup Stack | |
| # TODO #208:10m replace with freckle/stack-action after https://github.com/freckle/stack-action/pull/69 is merged | |
| uses: deemp/stack-action@main | |
| with: | |
| stack-build-arguments: ${{ github.ref_name != 'master' && '--fast' || '' }} --pedantic | |
| # TODO #213:10m enable macos test after https://github.com/objectionary/normalizer/issues/180 is resolved | |
| # TODO #98:10m enable windows tests after https://github.com/objectionary/normalizer/issues/185 is resolved | |
| test: ${{ matrix.os != 'windows-latest' && matrix.os != 'macos-latest'}} | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| - uses: actions/setup-java@v4 | |
| with: | |
| distribution: "zulu" | |
| java-version: 21 | |
| - name: Run pipeline | |
| shell: bash | |
| run: ./scripts/pipeline.sh | |
| - name: Report results | |
| shell: bash | |
| run: | | |
| cat report/report.md >> $GITHUB_STEP_SUMMARY | |
| - name: Upload pipeline artifact | |
| if: matrix.os == 'ubuntu-latest' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: pipeline-${{ hashFiles('pipeline/eo/*.eo') }} | |
| overwrite: true | |
| path: | | |
| pipeline | |
| !pipeline/**/.eoc | |
| !pipeline/yaml | |
| report | |
| docs: | |
| needs: pipeline | |
| if: ${{ github.ref_name == 'master' }} | |
| name: "Build and upload site (master)" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 📥 Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: 🧰 Setup Stack | |
| # TODO #208:10m replace with freckle/stack-action after https://github.com/freckle/stack-action/pull/69 is merged | |
| uses: deemp/stack-action@main | |
| with: | |
| test: false | |
| stack-build-arguments: --fast --haddock | |
| - name: Download pipeline artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| pattern: pipeline-* | |
| merge-multiple: true | |
| - name: Setup mdBook | |
| uses: peaceiris/actions-mdbook@v1 | |
| with: | |
| mdbook-version: "latest" | |
| - name: Build site | |
| run: | | |
| ROOT=$PWD | |
| mkdir -p dist/haddock | |
| mv $(stack path --local-doc-root)/* dist/haddock | |
| cd site/docs | |
| mdbook build | |
| mv docs ../../dist | |
| cd ../.. | |
| cd site | |
| mv index.html ../dist | |
| cd .. | |
| mkdir -p dist/report | |
| cp report/report.html dist/report/index.html | |
| - name: 🚀 Publish Site | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| folder: dist | |
| single-commit: true |