Skip to content
Back to pull request #20487

Priority warning fix alternative #20346

Sign in to view logs

Priority warning fix alternative

Priority warning fix alternative #20346

Triggered via pull request May 28, 2024 16:41
@oderskyodersky
synchronize #20487
dotty-staging:fix-priority-warning-1
Status Success
Total duration 14m 31s
Artifacts –

scaladoc.yaml

on: pull_request
build
14m 22s
build
stdlib-sourcelinks-test
0s
stdlib-sourcelinks-test
Fit to window
Zoom out
Zoom in