Improve sel4-bitfield-ops crate
#87
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: 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 }}' | |
| - uses: actions/checkout@v3 | |
| - name: Check source | |
| run: make check-source | |
| check-dependencies: | |
| name: Check dependencies | |
| runs-on: ubuntu-latest | |
| steps: | |
| - 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 }}' | |
| - uses: actions/checkout@v3 | |
| - 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: 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 }}' | |
| - uses: actions/checkout@v3 | |
| - 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: | |
| - 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' | |
| - 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 }}' | |
| - uses: actions/checkout@v3 | |
| - name: Run tests | |
| run: make run-fast-tests | |
| build-docs: | |
| name: Build docs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - 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 }}' | |
| - uses: actions/checkout@v3 | |
| - 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: | |
| - 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' | |
| - 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 }}' | |
| - uses: actions/checkout@v3 | |
| - 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: | |
| # | |
| # | |
| # For debugging and monitoring disk usage: | |
| # (make foo && df -h) || (df -h && false) |