Use github token instead of personal one #451

Sign in to view logs

Triggered via pull request October 30, 2023 13:52

Kordyjan

opened #18797

dotty-staging:non-personal-token

Status Success

Total duration 1m 39s

Artifacts –

spec.yml

on: pull_request