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
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #20512: Try implicit searching after finding dynamic select (#22318) Scala 3 with Capture Checking #72: Commit 15ea35b pushed by noti0na1
January 8, 2025 01:59 59m 41s main
main
January 8, 2025 01:59 59m 41s
Exclusive capabilities Scala 3 with Capture Checking #71: Pull request #22218 synchronize by odersky
January 7, 2025 20:48 1h 0m 37s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
January 7, 2025 20:48 1h 0m 37s
Canonicalize capture variable subtype comparisons Scala 3 with Capture Checking #70: Pull request #22299 synchronize by bracevac
January 7, 2025 20:11 1h 0m 34s dotty-staging:capture-subtyping-canon
dotty-staging:capture-subtyping-canon
January 7, 2025 20:11 1h 0m 34s
Canonicalize capture variable subtype comparisons Scala 3 with Capture Checking #69: Pull request #22299 synchronize by bracevac
January 7, 2025 19:22 1h 2m 16s dotty-staging:capture-subtyping-canon
dotty-staging:capture-subtyping-canon
January 7, 2025 19:22 1h 2m 16s
Exclusive capabilities Scala 3 with Capture Checking #68: Pull request #22218 synchronize by odersky
January 7, 2025 17:19 58m 40s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
January 7, 2025 17:19 58m 40s
Test run -rewrite of unused Scala 3 with Capture Checking #67: Pull request #22316 opened by som-snytt
January 7, 2025 11:34 1h 0m 31s som-snytt:edit/unused
som-snytt:edit/unused
January 7, 2025 11:34 1h 0m 31s
fix: typo in documentation for Tuple.zip (#22313) Scala 3 with Capture Checking #66: Commit dc0bb59 pushed by SethTisue
January 6, 2025 20:33 58m 42s main
main
January 6, 2025 20:33 58m 42s
Tweak ExtensionNullifiedByMember (#22268) Scala 3 with Capture Checking #65: Commit d16453e pushed by sjrd
January 6, 2025 16:52 58m 6s main
main
January 6, 2025 16:52 58m 6s
Fix inline reduction for CaseDef guards with asInstanceOf (#22305) Scala 3 with Capture Checking #64: Commit 1448123 pushed by jchyb
January 3, 2025 18:59 1h 0m 15s main
main
January 3, 2025 18:59 1h 0m 15s
Exclusive capabilities Scala 3 with Capture Checking #63: Pull request #22218 synchronize by odersky
January 3, 2025 10:33 1h 1m 14s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
January 3, 2025 10:33 1h 1m 14s
Canonicalize capture variable subtype comparisons Scala 3 with Capture Checking #62: Pull request #22299 opened by bracevac
January 2, 2025 13:40 1h 1m 53s dotty-staging:capture-subtyping-canon
dotty-staging:capture-subtyping-canon
January 2, 2025 13:40 1h 1m 53s
Canonicalize capture variable subtype comparisons Scala 3 with Capture Checking #61: Pull request #22289 opened by bracevac
January 1, 2025 20:11 58m 52s bracevac:capture-subtyping3
bracevac:capture-subtyping3
January 1, 2025 20:11 58m 52s
Handle capture variables in stripCapturing Scala 3 with Capture Checking #60: Pull request #22288 opened by Linyxus
January 1, 2025 17:03 59m 26s dotty-staging:capvar-strip
dotty-staging:capvar-strip
January 1, 2025 17:03 59m 26s
Exclusive capabilities Scala 3 with Capture Checking #59: Pull request #22218 synchronize by odersky
January 1, 2025 10:27 59m 4s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
January 1, 2025 10:27 59m 4s
Exclusive capabilities Scala 3 with Capture Checking #58: Pull request #22218 synchronize by odersky
December 31, 2024 17:29 59m 38s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
December 31, 2024 17:29 59m 38s
chore: Set referenceVersion to 3.6.3-RC2 (#22282) Scala 3 with Capture Checking #57: Commit 1f0c576 pushed by WojciechMazur
December 31, 2024 14:00 58m 28s main
main
December 31, 2024 14:00 58m 28s
Scaladoc: add support for named tuples (#22263) Scala 3 with Capture Checking #56: Commit ca0c902 pushed by tgodzik
December 30, 2024 09:40 58m 39s main
main
December 30, 2024 09:40 58m 39s
Refactor handling of rechecked types (#22229) Scala 3 with Capture Checking #55: Commit 4d3f757 pushed by odersky
December 23, 2024 20:27 1h 1m 28s main
main
December 23, 2024 20:27 1h 1m 28s
Refactor handling of rechecked types Scala 3 with Capture Checking #54: Pull request #22229 synchronize by odersky
December 23, 2024 17:31 1h 1m 22s dotty-staging:change-knowntype
dotty-staging:change-knowntype
December 23, 2024 17:31 1h 1m 22s
Ignore capture sets in certain cases of subtyping Scala 3 with Capture Checking #53: Pull request #22183 synchronize by bracevac
December 22, 2024 23:33 59m 31s bracevac:capture-subtyping
bracevac:capture-subtyping
December 22, 2024 23:33 59m 31s
Ignore capture sets in certain cases of subtyping Scala 3 with Capture Checking #52: Pull request #22183 synchronize by bracevac
December 22, 2024 22:26 59m 19s bracevac:capture-subtyping
bracevac:capture-subtyping
December 22, 2024 22:26 59m 19s
Ignore capture sets in certain cases of subtyping Scala 3 with Capture Checking #51: Pull request #22183 synchronize by bracevac
December 22, 2024 22:18 1h 0m 23s bracevac:capture-subtyping
bracevac:capture-subtyping
December 22, 2024 22:18 1h 0m 23s
Exclusive capabilities Scala 3 with Capture Checking #50: Pull request #22218 synchronize by odersky
December 21, 2024 17:53 59m 41s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
December 21, 2024 17:53 59m 41s
Exclusive capabilities Scala 3 with Capture Checking #49: Pull request #22218 synchronize by odersky
December 21, 2024 14:01 1h 0m 29s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
December 21, 2024 14:01 1h 0m 29s
Exclusive capabilities Scala 3 with Capture Checking #48: Pull request #22218 synchronize by odersky
December 21, 2024 11:34 1h 2m 24s dotty-staging:exclusive-capabilities
dotty-staging:exclusive-capabilities
December 21, 2024 11:34 1h 2m 24s