File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3434
3535 run-lint :
3636 runs-on : ubuntu-latest
37+ if : ${{ inputs.run-lint == true }}
3738 permissions :
3839 id-token : write
3940 contents : write
7071
7172 create-branch :
7273 needs : run-lint
74+ if : ${{ inputs.run-lint == true }}
7375 runs-on : ubuntu-latest
7476 permissions :
7577 id-token : write
@@ -105,6 +107,7 @@ jobs:
105107
106108 create-doc :
107109 needs : create-branch
110+ if : ${{ inputs.run-lint == true }}
108111 runs-on : ubuntu-latest
109112 permissions :
110113 id-token : write
@@ -156,6 +159,7 @@ jobs:
156159
157160 publish-doc :
158161 needs : [check-repo, create-doc]
162+ if : ${{ inputs.run-lint == true }}
159163 runs-on : ubuntu-latest
160164 permissions :
161165 id-token : write
@@ -202,6 +206,7 @@ jobs:
202206
203207 delete-branch :
204208 needs : publish-doc
209+ if : ${{ inputs.run-lint == true }}
205210 runs-on : ubuntu-latest
206211 permissions :
207212 id-token : write
You can’t perform that action at this time.
0 commit comments