feat: cleanups to ACI and Identity classes #9608
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: Nix CI | |
| on: | |
| push: | |
| branches: | |
| - master | |
| tags: | |
| - '*' | |
| pull_request: | |
| merge_group: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| Build: | |
| runs-on: ${{ matrix.os }} | |
| defaults: | |
| run: | |
| shell: nix run .#ciShell -- bash -euxo pipefail {0} | |
| strategy: | |
| matrix: | |
| include: | |
| - name: Nix Linux | |
| os: ubuntu-latest | |
| #- name: Nix macOS | |
| # os: macos-latest | |
| # complete all jobs | |
| fail-fast: false | |
| name: ${{ matrix.name }} | |
| env: | |
| NIX_BUILD_ARGS: --print-build-logs --fallback | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| # the default is to use a virtual merge commit between the PR and master: just use the PR | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - name: Set Up Nix Cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: nix-store-cache | |
| key: ${{ matrix.name }}-nix-store-cache-${{ github.sha }} | |
| # fall back to (latest) previous cache | |
| restore-keys: | | |
| ${{ matrix.name }}-nix-store-cache | |
| - name: Further Set Up Nix Cache | |
| shell: bash -euxo pipefail {0} | |
| run: | | |
| # Nix seems to mutate the cache, so make a copy | |
| cp -r nix-store-cache nix-store-cache-copy || true | |
| - name: Install Nix | |
| uses: DeterminateSystems/nix-installer-action@main | |
| with: | |
| extra-conf: | | |
| extra-sandbox-paths = /nix/var/cache/ccache? | |
| substituters = file://${{ github.workspace }}/nix-store-cache-copy?priority=10&trusted=true https://cache.nixos.org | |
| - name: Prepare CCache Cache | |
| run: | | |
| sudo mkdir -m0770 -p /nix/var/cache/ccache | |
| sudo chown -R $USER /nix/var/cache/ccache | |
| - name: Setup CCache Cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: /nix/var/cache/ccache | |
| key: ${{ matrix.name }}-nix-ccache-${{ github.sha }} | |
| # fall back to (latest) previous cache | |
| restore-keys: | | |
| ${{ matrix.name }}-nix-ccache | |
| - name: Further Set Up CCache Cache | |
| run: | | |
| sudo chown -R root:nixbld /nix/var/cache | |
| sudo chmod -R 770 /nix/var/cache | |
| - name: Install Cachix | |
| uses: cachix/cachix-action@v12 | |
| with: | |
| name: lean4 | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| skipPush: true # we push specific outputs only | |
| - name: Build | |
| run: | | |
| nix build $NIX_BUILD_ARGS .#cacheRoots -o push-build | |
| - name: Test | |
| run: | | |
| nix build $NIX_BUILD_ARGS .#test -o push-test | |
| - name: Build manual | |
| run: | | |
| nix build $NIX_BUILD_ARGS --update-input lean --no-write-lock-file ./doc#{lean-mdbook,leanInk,alectryon,test,inked} -o push-doc | |
| nix build $NIX_BUILD_ARGS --update-input lean --no-write-lock-file ./doc | |
| # https://github.com/netlify/cli/issues/1809 | |
| cp -r --dereference ./result ./dist | |
| if: matrix.name == 'Nix Linux' | |
| - name: Push to Cachix | |
| run: | | |
| [ -z "${{ secrets.CACHIX_AUTH_TOKEN }}" ] || cachix push -j4 lean4 ./push-* || true | |
| - name: Rebuild Nix Store Cache | |
| run: | | |
| rm -rf nix-store-cache || true | |
| nix copy ./push-* --to file://$PWD/nix-store-cache?compression=none | |
| - name: Publish manual to GH Pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./result | |
| destination_dir: ./doc | |
| if: matrix.name == 'Nix Linux' && github.ref == 'refs/heads/master' && github.event_name == 'push' | |
| - id: deploy-info | |
| name: Compute Deployment Metadata | |
| run: | | |
| set -e | |
| python3 -c 'import base64; print("alias="+base64.urlsafe_b64encode(bytes.fromhex("${{github.sha}}")).decode("utf-8").rstrip("="))' >> "$GITHUB_OUTPUT" | |
| echo "message=`git log -1 --pretty=format:"%s"`" >> "$GITHUB_OUTPUT" | |
| - name: Publish manual to Netlify | |
| uses: nwtgck/actions-netlify@v2.0 | |
| with: | |
| publish-dir: ./dist | |
| production-branch: master | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| deploy-message: | | |
| ${{ github.event_name == 'pull_request' && format('pr#{0}: {1}', github.event.number, github.event.pull_request.title) || format('ref/{0}: {1}', github.ref_name, steps.deploy-info.outputs.message) }} | |
| alias: ${{ steps.deploy-info.outputs.alias }} | |
| enable-commit-comment: false | |
| enable-pull-request-comment: false | |
| github-deployment-environment: "lean-lang.org/lean4/doc" | |
| fails-without-credentials: false | |
| env: | |
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | |
| NETLIFY_SITE_ID: "b8e805d2-7e9b-4f80-91fb-a84d72fc4a68" | |
| - name: Fixup CCache Cache | |
| run: | | |
| sudo chown -R $USER /nix/var/cache | |
| - name: CCache stats | |
| run: CCACHE_DIR=/nix/var/cache/ccache nix run .#nixpkgs.ccache -- -s |