Skip to content
Back to pull request #21325

Another given priority scheme to ensure transitivity #4837

Sign in to view logs

Another given priority scheme to ensure transitivity

Another given priority scheme to ensure transitivity #4837

Triggered via pull request August 4, 2024 15:35
@oderskyodersky
synchronize #21325
dotty-staging:given-priority-transitive
Status Success
Total duration 1m 32s
Artifacts –

spec.yml

on: pull_request
specification
1m 20s
specification
Fit to window
Zoom out
Zoom in