New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix pull requests check workflow, use our CI token #934

Merged

sbrunner merged 1 commit into test from fix-pr-checks-test

Jan 4, 2023

Owner

sbrunner commented Jan 4, 2023

No description provided.


          Fix pull requests check workflow, use our CI token

61c630d

sbrunner added the chore label

sbrunner merged commit 6a00437 into test

sbrunner deleted the fix-pr-checks-test branch

January 4, 2023 10:28

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

chore