File tree 1 file changed +10
-2
lines changed
1 file changed +10
-2
lines changed Original file line number Diff line number Diff line change 6
6
7
7
jobs :
8
8
lint :
9
- if : |
10
- contains(github.event.pull_request.labels.*.name, 'Status: Pending Merge')
9
+ # if: |
10
+ # contains(github.event.pull_request.labels.*.name, 'Status: Pending Merge')
11
11
name : Checking if any fixes are needed
12
12
runs-on : ubuntu-latest
13
13
steps :
45
45
- name : Run pre-commit hooks in changed files
46
46
run : pre-commit run --color=always --show-diff-on-failure --files ${{ steps.changed-files.outputs.all_changed_files }}
47
47
48
+ - name : Run arduino-lint
49
+ uses : arduino/arduino-lint-action@v1
50
+ with :
51
+ library-manager : false
52
+ compliance : permissive
53
+ recursive : true
54
+ project-type : platform
55
+
48
56
- name : Save pre-commit cache
49
57
uses : actions/cache/save@v4
50
58
if : ${{ always() && steps.restore-cache.outputs.cache-hit != 'true' }}
You can’t perform that action at this time.
0 commit comments