Skip to content

Actions: scala/scala3

Actions

Scala 3 with Capture Checking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-cc.yml
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #21841: Check more that an unapplySeq on a NonEmptyTuple is v… Scala 3 with Capture Checking #114: Commit 312c89a pushed by odersky
January 14, 2025 14:24 1h 0m 40s main
main
January 14, 2025 14:24 1h 0m 40s
Validate named patterns for case classes (#22242) Scala 3 with Capture Checking #113: Commit 1bcc03c pushed by rochala
January 14, 2025 14:17 1h 0m 39s main
main
January 14, 2025 14:17 1h 0m 39s
Exclusive capabilities V2 Scala 3 with Capture Checking #112: Pull request #22338 synchronize by odersky
January 14, 2025 10:29 1h 1m 9s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 14, 2025 10:29 1h 1m 9s
Fix crash when initializing val in ByName closure (#22354) Scala 3 with Capture Checking #111: Commit ad90f14 pushed by odersky
January 14, 2025 09:15 58m 38s main
main
January 14, 2025 09:15 58m 38s
Handle TypeProxy of Named Tuples in unapply (#22325) Scala 3 with Capture Checking #110: Commit c10def4 pushed by odersky
January 13, 2025 20:55 59m 39s main
main
January 13, 2025 20:55 59m 39s
Undo patch of double-block apply (#21982) Scala 3 with Capture Checking #109: Commit 49839cd pushed by bracevac
January 13, 2025 20:21 58m 6s main
main
January 13, 2025 20:21 58m 6s
Detail selectionType usage in Inliner typedSelect (#22358) Scala 3 with Capture Checking #108: Commit c5bf0e0 pushed by dwijnand
January 13, 2025 18:57 1h 0m 34s main
main
January 13, 2025 18:57 1h 0m 34s
Exclusive capabilities V2 Scala 3 with Capture Checking #107: Pull request #22338 synchronize by odersky
January 13, 2025 14:00 1h 0m 27s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 13, 2025 14:00 1h 0m 27s
Append instead of prepending import selectors for the current scope w… Scala 3 with Capture Checking #106: Commit af655c9 pushed by KacperFKorban
January 13, 2025 12:50 1h 0m 5s main
main
January 13, 2025 12:50 1h 0m 5s
Fixes for isLegalPrefix change (#22241) Scala 3 with Capture Checking #105: Commit a5a9fc8 pushed by odersky
January 13, 2025 11:02 59m 57s main
main
January 13, 2025 11:02 59m 57s
Drop EmptyTuple handling from NamedTupleDecomposition.apply Scala 3 with Capture Checking #104: Commit 74aa123 pushed by EugeneFlesselle
January 13, 2025 10:51 59m 9s main
main
January 13, 2025 10:51 59m 9s
Rollback constraints in compareAppliedTypeParamRef (#22339) Scala 3 with Capture Checking #103: Commit 5369d1a pushed by smarter
January 13, 2025 10:50 1h 0m 5s main
main
January 13, 2025 10:50 1h 0m 5s
Normalise the types for Type Mismatch Error (E007) (#22337) Scala 3 with Capture Checking #102: Commit af22ce2 pushed by hamzaremmal
January 13, 2025 09:12 59m 16s main
main
January 13, 2025 09:12 59m 16s
fix: correctly print litteral types in the refined printer (#22351) Scala 3 with Capture Checking #101: Commit 492c0e6 pushed by hamzaremmal
January 13, 2025 08:54 59m 51s main
main
January 13, 2025 08:54 59m 51s
fix: drop jackson-module-scala from CB (#22353) Scala 3 with Capture Checking #100: Commit ae980a7 pushed by hamzaremmal
January 12, 2025 23:24 1h 0m 32s main
main
January 12, 2025 23:24 1h 0m 32s
Exclusive capabilities V2 Scala 3 with Capture Checking #99: Pull request #22338 synchronize by odersky
January 12, 2025 13:13 1h 1m 57s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 12, 2025 13:13 1h 1m 57s
Exclusive capabilities V2 Scala 3 with Capture Checking #98: Pull request #22338 synchronize by odersky
January 11, 2025 19:13 1h 0m 4s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 11, 2025 19:13 1h 0m 4s
Exclusive capabilities V2 Scala 3 with Capture Checking #97: Pull request #22338 synchronize by odersky
January 11, 2025 13:45 55m 50s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 11, 2025 13:45 55m 50s
Exclusive capabilities V2 Scala 3 with Capture Checking #96: Pull request #22338 synchronize by odersky
January 11, 2025 12:24 1h 3m 6s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 11, 2025 12:24 1h 3m 6s
Exclusive capabilities V2 Scala 3 with Capture Checking #95: Pull request #22338 synchronize by odersky
January 11, 2025 10:01 59m 5s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 11, 2025 10:01 59m 5s
Exclusive capabilities V2 Scala 3 with Capture Checking #94: Pull request #22338 synchronize by odersky
January 10, 2025 17:59 1h 0m 54s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 10, 2025 17:59 1h 0m 54s
CC: Fix maximal capability handling and expand aliases Scala 3 with Capture Checking #93: Pull request #22341 opened by odersky
January 10, 2025 17:56 1h 0m 25s dotty-staging:cc-fix-maximal
dotty-staging:cc-fix-maximal
January 10, 2025 17:56 1h 0m 25s
Connect the input to the compiler in sbt (#22336) Scala 3 with Capture Checking #92: Commit 5176f9f pushed by hamzaremmal
January 10, 2025 16:47 59m 4s main
main
January 10, 2025 16:47 59m 4s
Exclusive capabilities V2 Scala 3 with Capture Checking #91: Pull request #22338 opened by odersky
January 10, 2025 15:03 1h 1m 3s dotty-staging:exclusive-capabilities-squashed
dotty-staging:exclusive-capabilities-squashed
January 10, 2025 15:03 1h 1m 3s
Exclusive capabilities Scala 3 with Capture Checking #90: Pull request #22218 synchronize by odersky
January 10, 2025 13:19 1h 0m 59s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
January 10, 2025 13:19 1h 0m 59s