Skip to content

Do not run CI on pushes to github queues#16913

Merged
Kordyjan merged 1 commit intoscala:mainfrom
dotty-staging:merge-queue
Feb 15, 2023

Commits

Commits on Feb 14, 2023