Skip to content

Commit c9a0699

Browse files
kim-emkim-em
committed
chore: update github actions (#11467)
Hopefully has no effect except to remove some warnings in the build logs. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
1 parent 921f506 commit c9a0699

File tree

4 files changed

+24
-24
lines changed

4 files changed

+24
-24
lines changed

‎.github/workflows/bors.yml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ jobs:
3535
run: |
3636
find . -name . -o -prune -exec rm -rf -- {} +
3737
38-
- uses: actions/checkout@v3
38+
- uses: actions/checkout@v4
3939

4040
# Run the case checker action
4141
- name: Check Case Sensitivity
@@ -46,7 +46,7 @@ jobs:
4646

4747
- name: install Python
4848
if: ${{ 'bors' == 'ubuntu-latest' }}
49-
uses: actions/setup-python@v4
49+
uses: actions/setup-python@v5
5050
with:
5151
python-version: 3.8
5252

@@ -73,7 +73,7 @@ jobs:
7373
run: |
7474
find . -name . -o -prune -exec rm -rf -- {} +
7575
76-
- uses: actions/checkout@v3
76+
- uses: actions/checkout@v4
7777

7878
- name: update Mathlib.lean
7979
run: |
@@ -107,7 +107,7 @@ jobs:
107107
run: |
108108
find . -name . -o -prune -exec rm -rf -- {} +
109109
110-
- uses: actions/checkout@v3
110+
- uses: actions/checkout@v4
111111

112112
- name: update workflows
113113
run: |
@@ -145,7 +145,7 @@ jobs:
145145
./elan-init -y --default-toolchain none
146146
echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
147147
148-
- uses: actions/checkout@v3
148+
- uses: actions/checkout@v4
149149

150150
# We update `Mathlib.lean` as a convenience here,
151151
# but verify that this didn't change anything in the `check_imported` job.
@@ -334,7 +334,7 @@ jobs:
334334
needs: [style_lint, build, check_imported]
335335
runs-on: ubuntu-latest
336336
steps:
337-
- uses: actions/checkout@v3
337+
- uses: actions/checkout@v4
338338

339339
- id: PR
340340
uses: 8BitJonny/gh-get-current-pr@2.2.0

‎.github/workflows/build.yml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ jobs:
4242
run: |
4343
find . -name . -o -prune -exec rm -rf -- {} +
4444
45-
- uses: actions/checkout@v3
45+
- uses: actions/checkout@v4
4646

4747
# Run the case checker action
4848
- name: Check Case Sensitivity
@@ -53,7 +53,7 @@ jobs:
5353

5454
- name: install Python
5555
if: ${{ 'ubuntu-latest' == 'ubuntu-latest' }}
56-
uses: actions/setup-python@v4
56+
uses: actions/setup-python@v5
5757
with:
5858
python-version: 3.8
5959

@@ -80,7 +80,7 @@ jobs:
8080
run: |
8181
find . -name . -o -prune -exec rm -rf -- {} +
8282
83-
- uses: actions/checkout@v3
83+
- uses: actions/checkout@v4
8484

8585
- name: update Mathlib.lean
8686
run: |
@@ -114,7 +114,7 @@ jobs:
114114
run: |
115115
find . -name . -o -prune -exec rm -rf -- {} +
116116
117-
- uses: actions/checkout@v3
117+
- uses: actions/checkout@v4
118118

119119
- name: update workflows
120120
run: |
@@ -152,7 +152,7 @@ jobs:
152152
./elan-init -y --default-toolchain none
153153
echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
154154
155-
- uses: actions/checkout@v3
155+
- uses: actions/checkout@v4
156156

157157
# We update `Mathlib.lean` as a convenience here,
158158
# but verify that this didn't change anything in the `check_imported` job.
@@ -341,7 +341,7 @@ jobs:
341341
needs: [style_lint, build, check_imported]
342342
runs-on: ubuntu-latest
343343
steps:
344-
- uses: actions/checkout@v3
344+
- uses: actions/checkout@v4
345345

346346
- id: PR
347347
uses: 8BitJonny/gh-get-current-pr@2.2.0

‎.github/workflows/build.yml.in‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
run: |
2222
find . -name . -o -prune -exec rm -rf -- {} +
2323

24-
- uses: actions/checkout@v3
24+
- uses: actions/checkout@v4
2525

2626
# Run the case checker action
2727
- name: Check Case Sensitivity
@@ -32,7 +32,7 @@ jobs:
3232

3333
- name: install Python
3434
if: ${{ 'STYLE_LINT_RUNNER' == 'ubuntu-latest' }}
35-
uses: actions/setup-python@v4
35+
uses: actions/setup-python@v5
3636
with:
3737
python-version: 3.8
3838

@@ -59,7 +59,7 @@ jobs:
5959
run: |
6060
find . -name . -o -prune -exec rm -rf -- {} +
6161

62-
- uses: actions/checkout@v3
62+
- uses: actions/checkout@v4
6363

6464
- name: update Mathlib.lean
6565
run: |
@@ -93,7 +93,7 @@ jobs:
9393
run: |
9494
find . -name . -o -prune -exec rm -rf -- {} +
9595

96-
- uses: actions/checkout@v3
96+
- uses: actions/checkout@v4
9797

9898
- name: update workflows
9999
run: |
@@ -131,7 +131,7 @@ jobs:
131131
./elan-init -y --default-toolchain none
132132
echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
133133

134-
- uses: actions/checkout@v3
134+
- uses: actions/checkout@v4
135135

136136
# We update `Mathlib.lean` as a convenience here,
137137
# but verify that this didn't change anything in the `check_imported` job.
@@ -320,7 +320,7 @@ jobs:
320320
needs: [style_lint, build, check_imported]
321321
runs-on: ubuntu-latest
322322
steps:
323-
- uses: actions/checkout@v3
323+
- uses: actions/checkout@v4
324324

325325
- id: PR
326326
uses: 8BitJonny/gh-get-current-pr@2.2.0

‎.github/workflows/build_fork.yml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ jobs:
3939
run: |
4040
find . -name . -o -prune -exec rm -rf -- {} +
4141
42-
- uses: actions/checkout@v3
42+
- uses: actions/checkout@v4
4343

4444
# Run the case checker action
4545
- name: Check Case Sensitivity
@@ -50,7 +50,7 @@ jobs:
5050

5151
- name: install Python
5252
if: ${{ 'ubuntu-latest' == 'ubuntu-latest' }}
53-
uses: actions/setup-python@v4
53+
uses: actions/setup-python@v5
5454
with:
5555
python-version: 3.8
5656

@@ -77,7 +77,7 @@ jobs:
7777
run: |
7878
find . -name . -o -prune -exec rm -rf -- {} +
7979
80-
- uses: actions/checkout@v3
80+
- uses: actions/checkout@v4
8181

8282
- name: update Mathlib.lean
8383
run: |
@@ -111,7 +111,7 @@ jobs:
111111
run: |
112112
find . -name . -o -prune -exec rm -rf -- {} +
113113
114-
- uses: actions/checkout@v3
114+
- uses: actions/checkout@v4
115115

116116
- name: update workflows
117117
run: |
@@ -149,7 +149,7 @@ jobs:
149149
./elan-init -y --default-toolchain none
150150
echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
151151
152-
- uses: actions/checkout@v3
152+
- uses: actions/checkout@v4
153153

154154
# We update `Mathlib.lean` as a convenience here,
155155
# but verify that this didn't change anything in the `check_imported` job.
@@ -338,7 +338,7 @@ jobs:
338338
needs: [style_lint, build, check_imported]
339339
runs-on: ubuntu-latest
340340
steps:
341-
- uses: actions/checkout@v3
341+
- uses: actions/checkout@v4
342342

343343
- id: PR
344344
uses: 8BitJonny/gh-get-current-pr@2.2.0

0 commit comments

Comments
 (0)