sync before copy

This commit is contained in:
Jacob Heider 2023-01-25 16:33:15 -05:00
parent 8826588b64
commit ff5b6df07f
No known key found for this signature in database
GPG key ID: 59D15ADC7DCD39BB

View file

@ -214,6 +214,7 @@ jobs:
prefix: ${{ github.workspace }} prefix: ${{ github.workspace }}
- run: | - run: |
tea --sync
# in case this PR contains updates to the scripts # in case this PR contains updates to the scripts
#TODO only do for PRs #TODO only do for PRs
if test "$GITHUB_REPOSITORY" = "teaxyz/pantry.core"; then if test "$GITHUB_REPOSITORY" = "teaxyz/pantry.core"; then