mirror of
https://github.com/edg-l/edlang.git
synced 2024-11-09 09:38:24 +00:00
chore: fix branch name
This commit is contained in:
parent
58d01815d8
commit
8d6790d508
2
.github/workflows/docs.yml
vendored
2
.github/workflows/docs.yml
vendored
|
@ -3,7 +3,7 @@ name: Deploy Docs to GitHub Pages
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- MASTER
|
- master
|
||||||
|
|
||||||
permissions:
|
permissions:
|
||||||
contents: write
|
contents: write
|
||||||
|
|
Loading…
Reference in a new issue