canton_drop: fix canton credentials (#17551)

This commit is contained in:
Gary Verhaegen 2023-10-11 18:13:26 +02:00 committed by GitHub
parent 5eb2696deb
commit 4a84d2de3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -196,7 +196,7 @@ jobs:
tmp=$(mktemp -d)
trap "rm -rf ${tmp}" EXIT
git clone git@github.com:DACH-NY/canton.git --depth 1 $tmp
git clone https://$GITHUB_TOKEN@github.com/DACH-NY/canton $tmp
for path in community daml-common-staging; do
src=$tmp/$path
@ -207,10 +207,10 @@ jobs:
git add $dst
done
canton_sha=$(git -C $tmp rev-parse HEAD)"
canton_sha=$(git -C $tmp rev-parse HEAD)
branch="canton-update-${canton_sha}"
if git diff --exit-code -- canton; then
if git diff --exit-code origin/main -- canton >/dev/null; then
echo "Already up-to-date with latest Canton source."
else
if [ "main" = "$(Build.SourceBranchName)" ]; then
@ -226,6 +226,8 @@ jobs:
echo "Would open PR if this were running on main."
fi
fi
env:
GITHUB_TOKEN: $(CANTON_READONLY_TOKEN)
- job: bump_canton
timeoutInMinutes: 60