language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 12:14:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

ci: run docs.yml only on the main repo

Browse source
This commit is contained in:
Cai Bingjun 2023-04-08 15:14:32 +08:00 • committed by GitHub
parent ad35c65a53
commit a130b75ecb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/docs.yml vendored
View file

@ -9,6 +9,7 @@ on:
jobs:
automatic-update:
if: github.repository_owner == 'erg-lang'
runs-on: ubuntu-latest
defaults:
run: