Skip to content

Conversation

@weiji14
Copy link
Member

@weiji14 weiji14 commented Dec 13, 2025

Need to use PAT-style token instead of default GITHUB_TOKEN so that bot can trigger other GitHub Actions workflows.

Patches #160 and #152.

Need to use PAT-style token instead of default GITHUB_TOKEN so that bot can trigger other GitHub Actions workflows.
@weiji14 weiji14 self-assigned this Dec 13, 2025
@github-actions
Copy link

Binder 👈 Test this PR on Binder

@weiji14 weiji14 merged commit 3178d2a into CryoInTheCloud:main Dec 13, 2025
1 check passed
@weiji14 weiji14 deleted the token-from-bot branch December 13, 2025 03:13
@weiji14
Copy link
Member Author

weiji14 commented Dec 13, 2025

Working beautfully at #159 (comment) 🥹

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