Skip to content

CI: drop the now-unneeded PYDE_REPO_TOKEN from pyde-crypto checkout - #53

Merged
zarah-s merged 1 commit into
mainfrom
copy/ci-drop-token
Jul 29, 2026
Merged

CI: drop the now-unneeded PYDE_REPO_TOKEN from pyde-crypto checkout#53
zarah-s merged 1 commit into
mainfrom
copy/ci-drop-token

Conversation

@zarah-s

@zarah-s zarah-s commented Jul 29, 2026

Copy link
Copy Markdown
Member

pyde-crypto is public, so the sibling checkout no longer needs a PAT (the default GITHUB_TOKEN reads public repos). Removed token: ${{ secrets.PYDE_REPO_TOKEN }} and the stale continue-on-error workaround from all 5 jobs (clippy, msrv, test, doc, examples), and refreshed the comment. This makes CI pass on external fork PRs once the repo goes public.

pyde-crypto is public now, so the sibling checkout needs no token (the
default GITHUB_TOKEN reads public repos). Removes the token from all 5
jobs and the stale continue-on-error workaround, so external fork PRs
get green CI once this repo is public.
@zarah-s
zarah-s merged commit 9c47557 into main Jul 29, 2026
@zarah-s
zarah-s deleted the copy/ci-drop-token branch July 29, 2026 16:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant