Skip to content

Actions: dotty-staging/dotty

Specification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,867 workflow runs
2,867 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use default self type more often
Specification #2744: Commit 97bbc24 pushed by odersky
August 12, 2024 15:08 1m 21s cc-improve-selftype
August 12, 2024 15:08 1m 21s
Use default self type more often
Specification #2743: Commit 429703a pushed by odersky
August 12, 2024 13:53 2m 19s cc-improve-selftype
August 12, 2024 13:53 2m 19s
fix: throw an error before assigning ErrorType when expanding constValue
Specification #2742: Commit e66860b pushed by KacperFKorban
August 12, 2024 09:33 1m 26s fix-i21359
August 12, 2024 09:33 1m 26s
Unrelated test: A Provider variant
Specification #2741: Commit b2292a8 pushed by odersky
August 10, 2024 12:21 1m 18s improve-contains
August 10, 2024 12:21 1m 18s
Improve Contains handling
Specification #2740: Commit 72a20bd pushed by odersky
August 10, 2024 12:21 2m 7s improve-contains
August 10, 2024 12:21 2m 7s
Add regression tests for #21352 and ..
Specification #2739: Commit 5408a80 pushed by EugeneFlesselle
August 9, 2024 11:09 1m 25s revert-ranking-split
August 9, 2024 11:09 1m 25s
Revert "Compensate loss of transitivity"
Specification #2738: Commit 58f3407 pushed by EugeneFlesselle
August 9, 2024 08:16 1m 36s revert-ranking-split
August 9, 2024 08:16 1m 36s
Drop redundant exact distinction in Setup
Specification #2737: Commit a8cc133 pushed by odersky
August 8, 2024 09:10 1m 22s fix-cleanupRetains
August 8, 2024 09:10 1m 22s
Fixes for cleanup retains scheme
Specification #2736: Commit 11e2986 pushed by odersky
August 8, 2024 09:00 1m 29s fix-cleanupRetains
August 8, 2024 09:00 1m 29s
Handle local type parameters in markFree
Specification #2735: Commit 618bbc5 pushed by odersky
August 7, 2024 17:26 1m 33s fix-polycap
August 7, 2024 17:26 1m 33s
Introduce provisional state for better cache reuse
Specification #2734: Commit 1d01d7c pushed by noti0na1
August 7, 2024 09:26 1m 21s fix-20217
August 7, 2024 09:26 1m 21s
Fix healAmbiguous to compareAlternatives with disambiguate = true
Specification #2733: Pull request #49 reopened by EugeneFlesselle
August 7, 2024 07:25 1m 25s given-healAmbiguous
August 7, 2024 07:25 1m 25s
Make priority change warning messages stable
Specification #2732: Commit f5f390e pushed by EugeneFlesselle
August 7, 2024 07:22 1m 19s given-priority-mixed
August 7, 2024 07:22 1m 19s
Fix healAmbiguous to compareAlternatives with disambiguate = true
Specification #2729: Pull request #49 synchronize by EugeneFlesselle
August 6, 2024 21:42 1m 24s given-healAmbiguous
August 6, 2024 21:42 1m 24s
Fix healAmbiguous to compareAlternatives with disambiguate = true
Specification #2727: Pull request #49 synchronize by EugeneFlesselle
August 6, 2024 21:28 1m 21s given-healAmbiguous
August 6, 2024 21:28 1m 21s
Add documentation to healAmbiguous
Specification #2726: Commit be388ca pushed by EugeneFlesselle
August 6, 2024 21:28 1m 28s given-healAmbiguous
August 6, 2024 21:28 1m 28s
Try provisional state in OrType
Specification #2725: Commit 743c812 pushed by noti0na1
August 6, 2024 21:17 1m 23s fix-20217
August 6, 2024 21:17 1m 23s
Fix healAmbiguous to compareAlternatives with disambiguate = true
Specification #2724: Pull request #49 synchronize by EugeneFlesselle
August 6, 2024 20:58 1m 23s given-healAmbiguous
August 6, 2024 20:58 1m 23s
Test new provisional state
Specification #2722: Commit e38f059 pushed by noti0na1
August 6, 2024 20:50 1m 30s fix-20217
August 6, 2024 20:50 1m 30s
Make priority change warning messages stable
Specification #2721: Commit f5f390e pushed by odersky
August 6, 2024 19:43 1m 25s given-priority-mixed
August 6, 2024 19:43 1m 25s
Make priority change warning messages stable
Specification #2720: Commit 58545eb pushed by odersky
August 6, 2024 19:21 1m 20s given-priority-mixed
August 6, 2024 19:21 1m 20s