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
Merged

Do not run CI on pushes to github queues#16913
Kordyjan merged 1 commit intoscala:mainfrom
dotty-staging:merge-queue

Commits

Commits on Feb 14, 2023