File tree Expand file tree Collapse file tree
src/tools/miri/.github/workflows Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -125,7 +125,7 @@ jobs:
125125 # Deliberately skipping `./.github/workflows/setup` as we do our own setup
126126 - name : Add cache for cargo
127127 id : cache
128- uses : actions/cache@v4
128+ uses : actions/cache@v5
129129 with :
130130 path : |
131131 # Taken from <https://doc.rust-lang.org/nightly/cargo/guide/cargo-home.html#caching-the-cargo-home-in-ci>.
@@ -231,7 +231,7 @@ jobs:
231231 exit ${exitcode}
232232 fi
233233
234- # Store merge commit message
234+ # Store merge commit message
235235 git log -1 --pretty=%B > message.txt
236236
237237 # Format changes
Original file line number Diff line number Diff line change 2020 # over time).
2121 - name : Add cache for cargo
2222 id : cache
23- uses : actions/cache@v4
23+ uses : actions/cache@v5
2424 with :
2525 path : |
2626 # Taken from <https://doc.rust-lang.org/nightly/cargo/guide/cargo-home.html#caching-the-cargo-home-in-ci>.
You can’t perform that action at this time.
0 commit comments