Merge branch 'main' into rust-1.71

tomaka · Aug 8, 2023 · a9c25e4 · a9c25e4
2 parents 2fd5346 + 3c3722a
commit a9c25e4
Show file tree

Hide file tree

Showing 74 changed files with 4,137 additions and 4,920 deletions.
diff --git a/.github/workflows/audit.yml b/.github/workflows/audit.yml
@@ -3,6 +3,10 @@ name: recurrent-audit
 on:
   schedule:
     - cron: '0 0 * * *'
+  push:
+    paths:
+      - '**/Cargo.toml'
+      - '**/Cargo.lock'
 
 permissions:
   contents: read
@@ -11,10 +15,8 @@ permissions:
 jobs:
   audit:
     runs-on: ubuntu-latest
-    container:
-      image: rust
     steps:
       - uses: actions/checkout@v3
-      - uses: actions-rs/audit-check@v1
+      - uses: rustsec/audit-check@v1.4.1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.github/workflows/periodic-cargo-update.yml b/.github/workflows/periodic-cargo-update.yml
@@ -32,5 +32,9 @@ jobs:
         title: Periodic `cargo update`
         body: >
           This automatic pull request runs `cargo update` on the repository.
+
+          Note that merging this pull request will invalidate the build cache of the GitHub Actions
+          and thus slow down the continuous integration. While this pull request is opened and
+          updated every day, please consider *not* merging it every day.
         commit-message: Periodic `cargo update`
         delete-branch: true