chore: move to v4.13.0-rc3 (#44)

Author: astrainfinita

.github/workflows/build.yml

@@ -134,12 +134,12 @@ jobs:
       #     run:
       #       lake test
 
-      - name: check for unused imports
-        id: shake
-        uses: liskin/gh-problem-matcher-wrap@v3
-        with:
-          linters: gcc
-          run: env LEAN_ABORT_ON_PANIC=1 lake exe shake --gh-style
+      # - name: check for unused imports
+      #   id: shake
+      #   uses: liskin/gh-problem-matcher-wrap@v3
+      #   with:
+      #     linters: gcc
+      #     run: env LEAN_ABORT_ON_PANIC=1 lake exe shake --gh-style
 
       - name: lint algorithm
         if: ${{ always() && steps.build.outcome == 'success' || steps.build.outcome == 'failure' }}

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "63c1c38b123b0741b7b7fd56fb8510f95bfd0e55",
+   "rev": "13f9b00769bdac2c0041406a6c2524a361e8d660",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "6b6ad220389444229d6b29c386b039e18345a003",
+   "rev": "63a7d4a353f48f6c5f1bc19d0f018b0513cb370a",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "1c37f1e9241238bc538b1e4c3921d117f650894b",
+   "rev": "5ddd0ae2d57a887d36d8c99db785285cbf154439",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.13.0-rc2
+leanprover/lean4:v4.13.0-rc3