carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-11-05 04:44:12 +03:00
Code Issues Projects Releases Wiki Activity

feat: Copy docs to external repository

Browse Source
This commit is contained in:
Erik Svedang 2020-11-18 00:04:43 +01:00
parent 2f302aa046
commit eb8cee00db
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/linux.yml vendored
View File

@ -39,3 +39,11 @@ jobs:
- name: Run Carp Tests
run: ./scripts/run_carp_tests.sh
- name: Copy Docs to carp-docs Repository
uses: andstor/copycat-action@v3
with:
personal_token: ${{ secrets.PERSONAL_TOKEN }}
src_path: /docs/core
dst_path: /core
dst_owner: carp-lang
dst_repo_name: carp-docs