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 16
16
cache : pip
17
17
18
18
- name : Clone
19
- uses : actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac
19
+ uses : actions/checkout@aadec899646c8e0f34c52d9219c2faac36626b55
20
20
21
21
- name : Build specification
22
22
run : |
25
25
make -f ../Makefile draft
26
26
27
27
- name : Switch branch
28
- uses : actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac
28
+ uses : actions/checkout@aadec899646c8e0f34c52d9219c2faac36626b55
29
29
with :
30
30
ref : gh-pages
31
31
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@3df4ab11eba7bda6032a0b82a6bb43b11571feac
12
+ - uses : actions/checkout@aadec899646c8e0f34c52d9219c2faac36626b55
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 12
12
contents : write # required to publish (tag) a release
13
13
steps :
14
14
- name : Clone main
15
- uses : actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac
15
+ uses : actions/checkout@aadec899646c8e0f34c52d9219c2faac36626b55
16
16
with :
17
17
fetch-depth : 0
18
18
54
54
55
55
- name : Switch branch
56
56
if : steps.getver.outputs.spec_version != steps.prevver.outputs.prev_version
57
- uses : actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac
57
+ uses : actions/checkout@aadec899646c8e0f34c52d9219c2faac36626b55
58
58
with :
59
59
ref : gh-pages
60
60
clean : false
You can’t perform that action at this time.
0 commit comments