Skip to content

Commit

Permalink
Bump actions/checkout from 3 to 4
Browse files Browse the repository at this point in the history
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](actions/checkout@v3...v4)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
dependabot[bot] authored Sep 26, 2023
1 parent a419c0a commit 6d09bc9
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/coq.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ jobs:
cancel-in-progress: true

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- name: echo build params
run: |
echo "::group::lscpu"
Expand Down Expand Up @@ -139,7 +139,7 @@ jobs:

steps:
- name: checkout repo (only required because of deploy step) # https://github.com/JamesIves/github-pages-deploy-action/issues/335
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download a Build Artifact
uses: actions/download-artifact@v3
with:
Expand All @@ -161,7 +161,7 @@ jobs:

steps:
- name: checkout repo (only required because of deploy step) # https://github.com/JamesIves/github-pages-deploy-action/issues/335
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install SSH Client 🔑
uses: webfactory/[email protected]
with:
Expand Down

0 comments on commit 6d09bc9

Please sign in to comment.