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 2727 key : ${{ runner.os }}-pip-
2828
2929 - name : Clone
30- uses : actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
30+ uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
3131
3232 - name : Build specification
3333 run : |
3636 make -f ../Makefile draft
3737
3838 - name : Switch branch
39- uses : actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
39+ uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
4040 with :
4141 ref : gh-pages
4242 clean : false
Original file line number Diff line number Diff line change 99 name : Sanity checks before a PR merge
1010 runs-on : ubuntu-20.04
1111 steps :
12- - uses : actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
12+ - uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
1313 with :
1414 fetch-depth : 0 # we want all refs for the --is-ancestor check
1515
Original file line number Diff line number Diff line change 2727 key : ${{ runner.os }}-pip-
2828
2929 - name : Clone main
30- uses : actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
30+ uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
3131 with :
3232 fetch-depth : 0
3333
6262
6363 - name : Switch branch
6464 if : steps.getver.outputs.spec_version != steps.prevver.outputs.prev_version
65- uses : actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
65+ uses : actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579
6666 with :
6767 ref : gh-pages
6868 clean : false
You can’t perform that action at this time.
0 commit comments