Skip to content

Commit 3fa53c5

Browse files
chore(deps): bump dawidd6/action-download-artifact from 13 to 14 in /.github/workflows in the actions-version-updates group across 1 directory (leanprover-community#34743)
Bumps the actions-version-updates group with 1 update in the /.github/workflows directory: [dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact). Updates `dawidd6/action-download-artifact` from 13 to 14
1 parent 1ede81f commit 3fa53c5

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.github/workflows/maintainer_bors_wf_run.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ jobs:
1515
steps:
1616
- name: Download artifact
1717
id: download-artifact
18-
uses: dawidd6/action-download-artifact@883bc3da0e2f55ddd0a8fc8e99378551c1991a55 # v13
18+
uses: dawidd6/action-download-artifact@5c98f0b039f36ef966fdb7dfa9779262785ecb05 # v14
1919
with:
2020
workflow: maintainer_bors.yml
2121
name: workflow-data

.github/workflows/maintainer_merge_wf_run.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ jobs:
1515
steps:
1616
- name: Download artifact
1717
id: download-artifact
18-
uses: dawidd6/action-download-artifact@883bc3da0e2f55ddd0a8fc8e99378551c1991a55 # v13
18+
uses: dawidd6/action-download-artifact@5c98f0b039f36ef966fdb7dfa9779262785ecb05 # v14
1919
with:
2020
workflow: maintainer_merge.yml
2121
name: workflow-data

0 commit comments

Comments
 (0)