Update docs.yml
This commit is contained in:
parent
1dc121ced9
commit
364d5fbe6f
1 changed files with 0 additions and 1 deletions
1
.github/workflows/docs.yml
vendored
1
.github/workflows/docs.yml
vendored
|
@ -2,7 +2,6 @@ on:
|
|||
push:
|
||||
branches:
|
||||
- master
|
||||
- informal_defs
|
||||
|
||||
name: Build and deploy documentation
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue