Skip to content
Commit b10bfdee authored by Gábor Csárdi's avatar Gábor Csárdi
Browse files

Use CI_GITHUB_TOKEN for GH auth, if set 

This is mainly to work around GHA failures.
GitHub does not let you set GITHUB_* env vars, according
to the docs.
parent 0a9bba99
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment