Change crappy tide/toddle CI mistake 🙄

This commit is contained in:
Martin 2020-07-19 13:11:20 +02:00 committed by GitHub
parent 5e42bc260e
commit 0e8c2cad6e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,16 +24,16 @@ jobs:
uses: actions/checkout@v2
with:
path: typstc
- name: Checkout tide
- name: Checkout toddle
uses: actions/checkout@v2
with:
repository: typst/toddle
token: ${{ secrets.TYPSTC_ACTION_TOKEN }} # `GitHub_PAT` is a secret that contains your PAT
path: toddle
- name: Checkout toddle
- name: Checkout tide
uses: actions/checkout@v2
with:
repository: typst/toddle
repository: typst/tide
token: ${{ secrets.TYPSTC_ACTION_TOKEN }} # `GitHub_PAT` is a secret that contains your PAT
path: tide
- name: Build