6502/cc65
1
0
Fork 0
mirror of https://github.com/cc65/cc65.git synced 2025-01-11 11:30:13 +00:00
Code Issues Projects Releases Wiki Activity

Experiment: checkout the second repo first.

Browse Source 
Maybe that will give it the github.token that it needs.
This commit is contained in:
Greg King 2022-06-17 08:06:21 -04:00 committed by mrdudz
parent 4c74d4b851
commit 2290e70e0c
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
.github/workflows/snapshot-on-push-master.yml vendored
View File

@ -43,8 +43,18 @@ jobs:
- shell: bash - shell: bash
run: git config --global core.autocrlf input run: git config --global core.autocrlf input
- name: Get the online documents repo.
uses: actions/checkout@v2
with:
repository: cc65/doc
token: ${{ github.token }}
path: doc.git
- name: Checkout Source - name: Checkout Source
uses: actions/checkout@v2 uses: actions/checkout@v2
with:
path: cc65
- name: Do some simple style checks - name: Do some simple style checks
shell: bash shell: bash
@ -96,17 +106,11 @@ jobs:
name: cc65-snapshot-win64.zip name: cc65-snapshot-win64.zip
path: cc65-snapshot-win64.zip path: cc65-snapshot-win64.zip
- name: Get the online documents repo.
uses: actions/checkout@v2
with:
repository: cc65/doc
token: ${{ github.token }}
path: doc.git
- name: Update the online documents. - name: Update the online documents.
run: | run: |
cd doc.git cd ../doc.git
rm *.* rm *.*
cp ../html/*.* . cp ../cc65/html/*.* .
git config user.name "cc65-github" git config user.name "cc65-github"
git config user.email "cc65.nomail@github.com" git config user.email "cc65.nomail@github.com"
git config push.default simple git config push.default simple