Commit 7ec888c
authored
ci: 👷 lint is now part of build workflow (#57)
## Description
Based on the changes in the `.github` repo, the lint workflow was
removed and merged into a general "build" workflow. So this matches that
workflow.
<!-- Select quick/in-depth as necessary -->
Doesn't need a review.1 parent eb5ecb0 commit 7ec888c
1 file changed
+2
-8
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | | - | |
17 | 16 | | |
18 | 17 | | |
19 | | - | |
20 | 18 | | |
21 | 19 | | |
22 | 20 | | |
23 | 21 | | |
24 | 22 | | |
25 | 23 | | |
26 | 24 | | |
27 | | - | |
28 | | - | |
29 | | - | |
30 | | - | |
31 | | - | |
32 | | - | |
| 25 | + | |
| 26 | + | |
0 commit comments