disable docs CI
This commit is contained in:
1 parent
c866ae602b
commit
a8dfe1a0b3
1 file changed
+7
-6
@@ -1,12 +1,13 @@
|
||||
name: github pages
|
||||
|
||||
on:
|
||||
push:
|
||||
paths:
|
||||
- docs/**
|
||||
- .github/workflows/docs.yml
|
||||
branches:
|
||||
- master
|
||||
workflow_dispatch:
|
||||
# push:
|
||||
# paths:
|
||||
# - docs/**
|
||||
# - .github/workflows/docs.yml
|
||||
# branches:
|
||||
# - master
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
|
||||
|
||||
Reference in new issue
Block a user