File tree 10 files changed +160
-0
lines changed
arduino/discovery/testdata/cat
10 files changed +160
-0
lines changed Original file line number Diff line number Diff line change @@ -219,6 +219,41 @@ jobs:
219
219
- name : Check whether any tidying was needed
220
220
run : git diff --color --exit-code
221
221
222
+ check-license-headers :
223
+ name : check-license-headers (${{ matrix.module.path }})
224
+ needs : run-determination
225
+ if : needs.run-determination.outputs.result == 'true'
226
+ runs-on : ubuntu-latest
227
+
228
+ strategy :
229
+ fail-fast : false
230
+
231
+ matrix :
232
+ module :
233
+ - path : ./
234
+
235
+ steps :
236
+ - name : Checkout repository
237
+ uses : actions/checkout@v3
238
+
239
+ - name : Install Go
240
+ uses : actions/setup-go@v4
241
+ with :
242
+ go-version : ${{ env.GO_VERSION }}
243
+
244
+ - name : Install Task
245
+ uses : arduino/setup-task@v1
246
+ with :
247
+ repo-token : ${{ secrets.GITHUB_TOKEN }}
248
+ version : 3.x
249
+
250
+ - name : Check for missing license headers
251
+ env :
252
+ GO_MODULE_PATH : ${{ matrix.module.path }}
253
+ run : |
254
+ task go:add-license-headers
255
+ git diff --color --exit-code
256
+
222
257
# Do a simple "smoke test" build for the modules with no other form of validation
223
258
build :
224
259
name : build (${{ matrix.module.path }})
Original file line number Diff line number Diff line change @@ -142,6 +142,12 @@ tasks:
142
142
- easyjson arduino/cores/packageindex/index.go
143
143
- easyjson arduino/libraries/librariesindex/json.go
144
144
145
+ go:add-license-headers :
146
+ desc : Add missing go license headers
147
+ cmds :
148
+ -
go install github.com/google/[email protected]
149
+ - addlicense -c "ARDUINO SA (http://www.arduino.cc/)" -f ./license_header.tpl **/*.go
150
+
145
151
# Source: https://github.com/arduino/tooling-project-assets/blob/main/workflow-templates/assets/check-markdown-task/Taskfile.yml
146
152
markdown:check-links :
147
153
desc : Check for broken links
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
// Echo stdin to stdout.
2
17
// This program is used for testing purposes, to make it available on all
3
18
// OS a tool equivalent to UNIX "cat".
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package lib
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package sketch
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package configuration
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package main
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package po
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ // This file is part of arduino-cli.
2
+ //
3
+ // Copyright 2023 ARDUINO SA (http://www.arduino.cc/)
4
+ //
5
+ // This software is released under the GNU General Public License version 3,
6
+ // which covers the main part of arduino-cli.
7
+ // The terms of this license can be found at:
8
+ // https://www.gnu.org/licenses/gpl-3.0.en.html
9
+ //
10
+ // You can be released from the requirements of the above licenses by purchasing
11
+ // a commercial license. Buying such a license is mandatory if you want to
12
+ // modify or otherwise use the software for commercial activities involving the
13
+ // Arduino software without disclosing the source code of your own applications.
14
+ // To purchase a commercial license, send an email to [email protected] .
15
+
1
16
package arguments
2
17
3
18
import (
Original file line number Diff line number Diff line change
1
+ This file is part of arduino-cli.
2
+
3
+ Copyright{ { if .Year } } { {.Year} }{ { end } } { {.Holder} }
4
+
5
+ This software is released under the GNU General Public License version 3,
6
+ which covers the main part of arduino-cli.
7
+ The terms of this license can be found at:
8
+ https://www.gnu.org/licenses/gpl-3.0.en.html
9
+
10
+ You can be released from the requirements of the above licenses by purchasing
11
+ a commercial license. Buying such a license is mandatory if you want to
12
+ modify or otherwise use the software for commercial activities involving the
13
+ Arduino software without disclosing the source code of your own applications.
14
+ To purchase a commercial license, send an email to
[email protected] .
You can’t perform that action at this time.
0 commit comments