Skip to content

Actions: scala/scala3

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23,300 workflow run results
23,300 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid false warning when synthesising deferred givens (#23087)
Dotty #35603: Commit 66d15b2 pushed by sjrd
May 19, 2025 10:02 2h 5m 28s main
May 19, 2025 10:02 2h 5m 28s
Avoid false warning when synthesising deferred givens (#23087)
scaladoc #25999: Commit 66d15b2 pushed by sjrd
May 19, 2025 10:02 18m 36s main
May 19, 2025 10:02 18m 36s
Avoid false warning when synthesising deferred givens (#23087)
Add to backporting project #1359: Commit 66d15b2 pushed by sjrd
May 19, 2025 10:02 1m 4s main
May 19, 2025 10:02 1m 4s
Avoid false warning when synthesising deferred givens (#23087)
Specification #8163: Commit 66d15b2 pushed by sjrd
May 19, 2025 10:02 1m 28s main
May 19, 2025 10:02 1m 28s
Avoid false warning when synthesising deferred givens (#23087)
Update Dependency Graph #2361: Commit 66d15b2 pushed by sjrd
May 19, 2025 10:02 1m 31s main
May 19, 2025 10:02 1m 31s
Map cap to fresh in capture sets
Test CLI Launchers on all the platforms #1132: Pull request #23184 opened by odersky
May 19, 2025 09:14 8m 46s dotty-staging:fix-23170
May 19, 2025 09:14 8m 46s
Map cap to fresh in capture sets
Scala 3 with Capture Checking #614: Pull request #23184 opened by odersky
May 19, 2025 09:14 1h 3m 53s dotty-staging:fix-23170
May 19, 2025 09:14 1h 3m 53s
Map cap to fresh in capture sets
Specification #8162: Pull request #23184 opened by odersky
May 19, 2025 09:14 1m 28s dotty-staging:fix-23170
May 19, 2025 09:14 1m 28s
Map cap to fresh in capture sets
scaladoc #25998: Pull request #23184 opened by odersky
May 19, 2025 09:14 18m 40s dotty-staging:fix-23170
May 19, 2025 09:14 18m 40s
Map cap to fresh in capture sets
Dotty #35602: Pull request #23184 opened by odersky
May 19, 2025 09:14 1h 45m 30s dotty-staging:fix-23170
May 19, 2025 09:14 1h 45m 30s
Map cap to fresh in capture sets
Scala CLA #21526: Pull request #23184 opened by odersky
May 19, 2025 09:14 11s dotty-staging:fix-23170
May 19, 2025 09:14 11s
Avoid false warning when synthesising deferred givens
Test CLI Launchers on all the platforms #1131: Pull request #23087 synchronize by dwijnand
May 19, 2025 08:46 9m 52s dwijnand:i23049-derived-warning-no-def
May 19, 2025 08:46 9m 52s
Modified abstract domain in global initialization checker
Test CLI Launchers on all the platforms #1130: Pull request #23138 synchronize by EnzeXing
May 19, 2025 04:59 8m 42s EnzeXing:global-init-checker-redesign
May 19, 2025 04:59 8m 42s
Dotty
Dotty #35599: Scheduled
May 19, 2025 03:23 2h 9m 5s main
May 19, 2025 03:23 2h 9m 5s
Cleanups for capability refactorings
Scala 3 with Capture Checking #613: Pull request #23182 opened by odersky
May 18, 2025 16:24 1h 2m 6s dotty-staging:refactor-capabilities-cleanups
May 18, 2025 16:24 1h 2m 6s