Merge pull request #140 from hugovk/oidc-whitespace

This change removes accidental double whitespaces from the OIDC CI log that were caused by a misconception that the arguments of `echo` would be joined the same way as Python's implicit string concatenation works.
This commit is contained in:
Sviatoslav Sydorenko 2023-04-01 04:04:52 +02:00 committed by GitHub
commit 9c859e9a77
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23