Skip to content

Use github token instead of personal one#18797

Merged
Kordyjan merged 1 commit intoscala:mainfrom dotty-staging:non-personal-tokenOct 30, 2023
+5-5

Commits

Commits on Oct 30, 2023