Merge branch 'master' into fix-missing-owner

crytic · Feb 7, 2024 · 99f0742 · 99f0742
2 parents d34ddca + 46dabdd
commit 99f0742
Show file tree

Hide file tree

Showing 84 changed files with 8,289 additions and 3,015 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,9 @@
 name: CI
 
-on: [pull_request, push, workflow_dispatch]
+on:
+  merge_group:
+  pull_request:
+  workflow_dispatch:
 
 concurrency:
   group: ci-${{ github.ref }}
@@ -11,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install dylint-link
         run: cargo install dylint-link
@@ -47,7 +50,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install dylint-link
         run: cargo install dylint-link

diff --git a/.github/workflows/update_dependencies.yml b/.github/workflows/update_dependencies.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           ssh-key: ${{ secrets.PR_SSH_KEY }}
 
@@ -24,7 +24,7 @@ jobs:
         run: scripts/update_dependencies.sh
 
       - name: Create pull request
-        uses: peter-evans/create-pull-request@v4
+        uses: peter-evans/create-pull-request@v6
         with:
           title: Update dependencies
           token: ${{ secrets.PR_GITHUB_TOKEN }}
diff --git a/.github/workflows/upgrade_lints.yml b/.github/workflows/upgrade_lints.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           ssh-key: ${{ secrets.PR_SSH_KEY }}
 
@@ -21,7 +21,7 @@ jobs:
         run: scripts/upgrade_lints.sh
 
       - name: Create pull request
-        uses: peter-evans/create-pull-request@v4
+        uses: peter-evans/create-pull-request@v6
         with:
           title: Upgrade lints
           token: ${{ secrets.PR_GITHUB_TOKEN }}