File tree Expand file tree Collapse file tree 3 files changed +5
-5
lines changed Expand file tree Collapse file tree 3 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 27
27
key : ${{ runner.os }}-pip-
28
28
29
29
- name : Clone
30
- uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
30
+ uses : actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
31
31
32
32
- name : Build specification
33
33
run : |
36
36
make -f ../Makefile draft
37
37
38
38
- name : Switch branch
39
- uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
39
+ uses : actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
40
40
with :
41
41
ref : gh-pages
42
42
clean : false
Original file line number Diff line number Diff line change 9
9
name : Sanity checks before a PR merge
10
10
runs-on : ubuntu-20.04
11
11
steps :
12
- - uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
12
+ - uses : actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
13
13
with :
14
14
fetch-depth : 0 # we want all refs for the --is-ancestor check
15
15
Original file line number Diff line number Diff line change 27
27
key : ${{ runner.os }}-pip-
28
28
29
29
- name : Clone main
30
- uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
30
+ uses : actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
31
31
with :
32
32
fetch-depth : 0
33
33
62
62
63
63
- name : Switch branch
64
64
if : steps.getver.outputs.spec_version != steps.prevver.outputs.prev_version
65
- uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
65
+ uses : actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
66
66
with :
67
67
ref : gh-pages
68
68
clean : false
You can’t perform that action at this time.
0 commit comments