File tree Expand file tree Collapse file tree 9 files changed +14
-14
lines changed Expand file tree Collapse file tree 9 files changed +14
-14
lines changed Original file line number Diff line number Diff line change 2828
2929 steps :
3030 - name : Checkout code
31- uses : actions/checkout@v4
31+ uses : actions/checkout@v5
3232
3333 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
3434 env :
Original file line number Diff line number Diff line change 3535
3636 steps :
3737 - name : Checkout code
38- uses : actions/checkout@v4
38+ uses : actions/checkout@v5
3939
4040 - name : Set up Docker Buildx
4141 uses : docker/setup-buildx-action@v3 # needed for GitHub Actions Cache in build-push-action
Original file line number Diff line number Diff line change 2525
2626 steps :
2727 - name : Checkout code
28- uses : actions/checkout@v4
28+ uses : actions/checkout@v5
2929
3030 - name : Check for undocumented modules
3131 run : python scripts/goblint-lib-modules.py
Original file line number Diff line number Diff line change 2020
2121 steps :
2222 - name : Checkout code
23- uses : actions/checkout@v4
23+ uses : actions/checkout@v5
2424 with :
2525 fetch-depth : 0
2626
Original file line number Diff line number Diff line change 3030
3131 steps :
3232 - name : Checkout code
33- uses : actions/checkout@v4
33+ uses : actions/checkout@v5
3434
3535 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
3636 env :
8282
8383 steps :
8484 - name : Checkout code
85- uses : actions/checkout@v4
85+ uses : actions/checkout@v5
8686
8787 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
8888 env :
Original file line number Diff line number Diff line change 1919
2020 steps :
2121 - name : Checkout code
22- uses : actions/checkout@v4
22+ uses : actions/checkout@v5
2323
2424 - name : Validate CITATION.cff
2525 uses : docker://citationcff/cffconvert:latest
3939
4040 steps :
4141 - name : Checkout code
42- uses : actions/checkout@v4
42+ uses : actions/checkout@v5
4343
4444 - name : Set up Node.js ${{ matrix.node-version }}
4545 uses : actions/setup-node@v4
Original file line number Diff line number Diff line change 1515
1616 steps :
1717 - name : Checkout code
18- uses : actions/checkout@v4
18+ uses : actions/checkout@v5
1919
2020 - name : Set up Node.js ${{ matrix.node-version }}
2121 uses : actions/setup-node@v4
Original file line number Diff line number Diff line change 1616
1717 steps :
1818 - name : Checkout code
19- uses : actions/checkout@v4
19+ uses : actions/checkout@v5
2020
2121 - name : Run semgrep
2222 run : semgrep scan --config .semgrep/ --sarif > semgrep.sarif
Original file line number Diff line number Diff line change 4444
4545 steps :
4646 - name : Checkout code
47- uses : actions/checkout@v4
47+ uses : actions/checkout@v5
4848
4949 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
5050 uses : ocaml/setup-ocaml@v3
9797
9898 steps :
9999 - name : Checkout code
100- uses : actions/checkout@v4
100+ uses : actions/checkout@v5
101101
102102 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
103103 uses : ocaml/setup-ocaml@v3
@@ -147,7 +147,7 @@ jobs:
147147
148148 steps :
149149 - name : Checkout code
150- uses : actions/checkout@v4
150+ uses : actions/checkout@v5
151151
152152 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
153153 uses : ocaml/setup-ocaml@v3
@@ -216,7 +216,7 @@ jobs:
216216
217217 steps :
218218 - name : Checkout code
219- uses : actions/checkout@v4
219+ uses : actions/checkout@v5
220220
221221 - name : Set up OCaml ${{ matrix.ocaml-compiler }}
222222 uses : ocaml/setup-ocaml@v3
You can’t perform that action at this time.
0 commit comments