Skip to content

Fix the CI not running on merge commits#16668

Merged
dwijnand merged 1 commit intoscala:mainfrom
dotty-staging:fix-ci-push
Jan 12, 2023

Commits

Commits on Jan 11, 2023