sel4-kernel-loader: Improve attributes #7
This file contains hidden or 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
| # | |
| # Copyright 2023, Colias Group, LLC | |
| # | |
| # SPDX-License-Identifier: BSD-2-Clause | |
| # | |
| name: CI | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| workflow_dispatch: | |
| jobs: | |
| push-checks: | |
| name: Push | |
| uses: seL4/ci-actions/.github/workflows/push.yml@master | |
| check-source: | |
| name: Check source | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - name: Check source | |
| run: make check-source | |
| check-dependencies: | |
| name: Check dependencies | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - name: Check dependencies | |
| run: make check-dependencies | |
| run-tests: | |
| name: Run tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| extra_nix_config: | | |
| auto-optimise-store = true | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - name: Run tests | |
| run: make run-fast-tests | |
| build-docs: | |
| name: Build docs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - name: Build docs | |
| run: make html-links | |
| build-everything: | |
| name: Build everything | |
| runs-on: ubuntu-latest | |
| needs: [check-source, run-tests, build-docs] | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| extra_nix_config: | | |
| auto-optimise-store = true | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - 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@v4 | |
| with: | |
| path: out/html | |
| check-kani-proofs: | |
| name: Check Kani proofs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v31 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - uses: cachix/cachix-action@v16 | |
| with: | |
| name: coliasgroup | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/checkout@v6 | |
| - name: Check Kani proofs | |
| run: make check-kani-proofs | |
| deploy-docs: | |
| name: Deploy docs | |
| if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) | |
| needs: [check-dependencies, build-everything, check-kani-proofs] | |
| 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@v4 |