File tree Expand file tree Collapse file tree 5 files changed +9
-9
lines changed Expand file tree Collapse file tree 5 files changed +9
-9
lines changed Original file line number Diff line number Diff line change 1
1
<?xml version =" 1.0" encoding =" utf-8" ?>
2
2
<packages >
3
3
<package id =" gcc-arm-embedded" version =" 10.2.1" />
4
- <package id =" cmake" version =" 3.25.2 " installArguments =" ADD_CMAKE_TO_PATH=System" />
4
+ <package id =" cmake" version =" 3.31.0 " installArguments =" ADD_CMAKE_TO_PATH=System" />
5
5
<package id =" mingw" version =" 12.2.0" />
6
6
<package id =" ninja" version =" 1.11.1" />
7
7
</packages >
Original file line number Diff line number Diff line change @@ -18,12 +18,12 @@ jobs:
18
18
mkdir -p "${{ github.workspace }}"
19
19
20
20
- name : Checkout pico-examples
21
- uses : actions/checkout@v2
21
+ uses : actions/checkout@v4
22
22
with :
23
23
path : pico-examples
24
24
25
25
- name : Checkout pico-sdk/develop
26
- uses : actions/checkout@v2
26
+ uses : actions/checkout@v4
27
27
with :
28
28
repository : raspberrypi/pico-sdk
29
29
ref : develop
Original file line number Diff line number Diff line change @@ -18,12 +18,12 @@ jobs:
18
18
mkdir -p "${{ github.workspace }}"
19
19
20
20
- name : Checkout pico-examples
21
- uses : actions/checkout@v2
21
+ uses : actions/checkout@v4
22
22
with :
23
23
path : pico-examples
24
24
25
25
- name : Checkout pico-sdk/develop
26
- uses : actions/checkout@v2
26
+ uses : actions/checkout@v4
27
27
with :
28
28
repository : raspberrypi/pico-sdk
29
29
ref : develop
Original file line number Diff line number Diff line change @@ -19,12 +19,12 @@ jobs:
19
19
mkdir -p "${{ github.workspace }}"
20
20
21
21
- name : Checkout pico-examples
22
- uses : actions/checkout@v2
22
+ uses : actions/checkout@v4
23
23
with :
24
24
path : pico-examples
25
25
26
26
- name : Checkout pico-sdk/develop
27
- uses : actions/checkout@v2
27
+ uses : actions/checkout@v4
28
28
with :
29
29
repository : raspberrypi/pico-sdk
30
30
ref : develop
Original file line number Diff line number Diff line change @@ -18,12 +18,12 @@ jobs:
18
18
rm -rf "${{ github.workspace }}/pico-sdk"
19
19
rm -rf "${{ github.workspace }}/pico-examples"
20
20
- name : Checkout pico-examples
21
- uses : actions/checkout@v2
21
+ uses : actions/checkout@v4
22
22
with :
23
23
path : pico-examples
24
24
25
25
- name : Checkout pico-sdk/develop
26
- uses : actions/checkout@v2
26
+ uses : actions/checkout@v4
27
27
with :
28
28
repository : raspberrypi/pico-sdk
29
29
ref : develop
You can’t perform that action at this time.
0 commit comments