Update GH Actions setup

.github/workflows/main.yaml

@@ -45,28 +45,8 @@ jobs:
  # Boilerplate
  - name: Checkout repository
  uses: actions/checkout@v3
- # GitHub Actions don't regenerate the test if the key doesn't change, so
- # we integrate a random UUID into the key to keep them different.
- # DO NOT CHANGE THIS
- - name: Generate unique ID
- id: get-id
- run: |
- echo -n ::set-output name=id::
- cat /proc/sys/kernel/random/uuid
- # Actually load the cache. Since we never reuse the key, we need restore-keys
- # to indicate the prefix of our caches. This loads the newest cache with this
- # prefix in the key.
- #
- # If we want to force regeneration of the cache, increase the number after
- # *both* instances of "texlive-v"
- - name: Load cache
- uses: actions/cache@v2
- with:
- path: ~/texlive
- key: texlive2022-v0-${{ steps.get-id.outputs.id }}
- restore-keys: texlive2022-v0-
  - name: Install TeX Live
- uses: zauguin/install-texlive@v1
+ uses: zauguin/install-texlive@v3
  with:
  # List the required TeX Live packages in a separate file to allow reuse in
  # different workflows.
@@ -92,7 +72,7 @@ jobs:
  # 2. If we succeed building documentation
  - name: Archive documentation
  if: ${{ matrix.artifact_name == 'Documentation' && success() }}
- uses: actions/upload-artifact@v2
+ uses: actions/upload-artifact@v3
  with:
  name: ${{ matrix.artifact_name }}
  path: "**/*.pdf"