Address clippy lints #83
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: "CI" | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| workflow_dispatch: | |
| jobs: | |
| check-source: | |
| name: Check source | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Check source | |
| run: make check-source | |
| check-dependencies: | |
| name: Check dependencies | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Check dependencies | |
| run: make check-dependencies | |
| run-sel4test: | |
| name: Run sel4test | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| arch: [aarch64, aarch32, riscv64, riscv32, x86_64, ia32] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Build and check | |
| run: make run-sel4test-for SEL4TEST_ARCH=${{ matrix.arch }} | |
| run-other-tests: | |
| name: Run other tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Run tests | |
| run: make run-fast-tests | |
| build-docs: | |
| name: Build docs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Build docs | |
| run: make html-links | |
| build-everything: | |
| name: Build everything | |
| runs-on: ubuntu-latest | |
| needs: [check-source, run-sel4test, run-other-tests, build-docs] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: cachix/install-nix-action@v22 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - name: Build everything | |
| run: make everything | |
| - name: Expose docs | |
| run: make html | |
| - name: Upload Pages artifact | |
| if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) | |
| uses: actions/upload-pages-artifact@v2 | |
| with: | |
| path: out/html | |
| deploy-docs: | |
| name: Deploy docs | |
| if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) | |
| needs: [check-dependencies, build-everything] | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v2 | |
| # NOTE | |
| # | |
| # May be necessary in the future: | |
| # | |
| # - name: Prepare to maximize build space | |
| # run: sudo mkdir /nix | |
| # - name: Maximize build space | |
| # uses: easimon/maximize-build-space@master | |
| # with: | |
| # build-mount-path: /nix | |
| # root-reserve-mb: 8192 | |
| # remove-dotnet: 'true' | |
| # remove-android: 'true' | |
| # remove-haskell: 'true' | |
| # remove-codeql: 'true' | |
| # remove-docker-images: 'true' | |
| # | |
| # For debugging and monitoring disk usage: | |
| # (make foo && df -h) || (df -h && false) |