File tree Expand file tree Collapse file tree 2 files changed +17
-4
lines changed Expand file tree Collapse file tree 2 files changed +17
-4
lines changed Original file line number Diff line number Diff line change 1
1
name : Continuous Integration
2
2
3
3
on :
4
- # We have deploy there
5
- # push:
6
- # branches: [ "main" ]
7
4
pull_request :
8
5
branches : [ "main" ]
9
6
workflow_dispatch :
7
+ inputs :
8
+ runLint :
9
+ description : ' Run the static linter'
10
+ required : false
11
+ default : false
10
12
11
13
jobs :
12
14
# Build job
45
47
mkdocs build
46
48
env : |
47
49
FULL_BUILD=true
50
+
51
+ - name : Lint the static site
52
+ uses : anishathalye/proof-html@v2
53
+ if : ${{ inputs.runLint }}
54
+ with :
55
+ directory : ./_site
56
+ enforce_https : false
57
+ tokens : |
58
+ {"https://github.com": "${{ secrets.GITHUB_TOKEN }}"}
59
+ ignore_url : |
60
+ https://fonts.gstatic.com
Original file line number Diff line number Diff line change @@ -81,7 +81,7 @@ plugins:
81
81
imports : [ README.md, CONTRIBUTING.md ]
82
82
- name : static-analysis-plugin
83
83
import_url : ' https://github.com/GradleUp/static-analysis-plugin?branch=master&edit_uri=/blob/master/'
84
- imports : [ README.md, CHANGELOG.md ]
84
+ imports : [ README.md, CHANGELOG.md, LICENSE, 'docs/**' ]
85
85
- name : shadow
86
86
import_url : ' https://github.com/GradleUp/shadow?branch=main&edit_uri=/blob/main/'
87
87
imports : [ README.md ]
You can’t perform that action at this time.
0 commit comments