Merge branch 'nightly'

.github/workflows/delete_cache.yml

@@ -0,0 +1,22 @@
+# See <https://github.com/BuildJet/cache-delete>. Useful for debugging/solving
+# caching issues. To identify the name of the cache key to delete, look for the line
+# `Cache restored from key: <cache key>` in the logs of the caching step.
+
+name: Manually delete a BuildJet cache entry
+
+on:
+  workflow_dispatch:
+    inputs:
+      cache_key:
+        description: "BuildJet cache key to delete"
+        required: true
+        type: string
+
+jobs:
+  manually-delete-buildjet-cache:
+    runs-on: buildjet-2vcpu-ubuntu-2204
+    steps:
+      - uses: actions/checkout@v3
+      - uses: buildjet/cache-delete@v1
+        with:
+          cache_key: ${{ inputs.cache_key }}

.github/workflows/prerelease_checks.yml

@@ -0,0 +1,23 @@
+name: "Pre-release checks"
+on:
+  schedule:
+    # At 10:00am UTC every Monday.
+    # See:
+    # - https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
+    # - https://crontab.guru/
+    - cron: "0 10 * * 1"
+  # Allow manual triggering: <https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch>.
+  workflow_dispatch:
+  # Anytime a PR modifies the list of packages to publish.
+  pull_request:
+    paths:
+      - "packages_to_publish.yml"
+
+jobs:
+  check-missing-dependency-versions:
+    runs-on: buildjet-4vcpu-ubuntu-2204
+    steps:
+      - uses: actions/checkout@v3
+      - run: ./scripts/check_missing_dependency_versions.sh
+        shell: bash
+        working-directory: .