Skip to content

Actions: scala/scala3

Scala 3 with Capture Checking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
December 21, 2024 11:34 1h 2m 24s
Documentation only: update Example code linked to obsolete content in…
Scala 3 with Capture Checking #47: Commit d50973b pushed by tgodzik
December 20, 2024 22:44 1h 0m 16s main
December 20, 2024 22:44 1h 0m 16s
Update asm to patched 9.7.1 (#22250)
Scala 3 with Capture Checking #46: Commit cd802dc pushed by sjrd
December 20, 2024 15:39 1h 1m 47s main
December 20, 2024 15:39 1h 1m 47s
REPL: Add back :silent command (#22248)
Scala 3 with Capture Checking #45: Commit 3e62731 pushed by natsukagami
December 20, 2024 13:50 59m 57s main
December 20, 2024 13:50 59m 57s
Fix presentation compiler testcases (#22253)
Scala 3 with Capture Checking #44: Commit 8a2961b pushed by mbovel
December 20, 2024 13:43 58m 56s main
December 20, 2024 13:43 58m 56s
Limit exposure to ConcurrentModificationException when sys props are …
Scala 3 with Capture Checking #43: Commit 0bfa1af pushed by SethTisue
December 20, 2024 00:23 59m 42s main
December 20, 2024 00:23 59m 42s
REPL: JLine: follow recommendation to use JNI, not JNA; also JLine 3.…
Scala 3 with Capture Checking #42: Commit 7ae2d65 pushed by WojciechMazur
December 19, 2024 16:15 1h 0m 18s main
December 19, 2024 16:15 1h 0m 18s
Implement tracked members (#21761)
Scala 3 with Capture Checking #41: Commit 0041987 pushed by KacperFKorban
December 19, 2024 15:21 1h 1m 15s main
December 19, 2024 15:21 1h 1m 15s
replace deprecated AnyRefMap (#22230)
Scala 3 with Capture Checking #40: Commit 4b7f321 pushed by mbovel
December 19, 2024 09:58 59m 1s main
December 19, 2024 09:58 59m 1s
Fix #22226: Use classOf[BoxedUnit] for Unit array in `ArrayConstruc…
Scala 3 with Capture Checking #39: Commit bd1f004 pushed by hamzaremmal
December 18, 2024 14:46 1h 0m 31s main
December 18, 2024 14:46 1h 0m 31s
fix: better error messages when an enum derives from AnyVal (#22236)
Scala 3 with Capture Checking #38: Commit 60b5dd1 pushed by hamzaremmal
December 18, 2024 12:01 59m 27s main
December 18, 2024 12:01 59m 27s
Make sure symbols in annotation trees are fresh before pickling (#22002)
Scala 3 with Capture Checking #37: Commit ae80285 pushed by odersky
December 17, 2024 22:19 1h 0m 45s main
December 17, 2024 22:19 1h 0m 45s
Resolve name when named imp is behind wild imps (#21888)
Scala 3 with Capture Checking #36: Commit e52aea4 pushed by odersky
December 17, 2024 22:07 1h 1m 1s main
December 17, 2024 22:07 1h 1m 1s
Refactor handling of rechecked types
Scala 3 with Capture Checking #35: Pull request #22229 opened by odersky
December 17, 2024 17:02 58m 44s dotty-staging:change-knowntype
December 17, 2024 17:02 58m 44s
chore: use sbt/setup-sbt when using ubuntu-latest image (#22227)
Scala 3 with Capture Checking #34: Commit 77376fe pushed by hamzaremmal
December 17, 2024 14:10 1h 6m 23s main
December 17, 2024 14:10 1h 6m 23s
Add a hint for using global language import with REPL (#22220)
Scala 3 with Capture Checking #33: Commit 3f184c7 pushed by noti0na1
December 17, 2024 13:40 16s main
December 17, 2024 13:40 16s
chore: use sbt/setup-sbt when using ubuntu-latest image
Scala 3 with Capture Checking #32: Pull request #22227 opened by hamzaremmal
December 17, 2024 12:13 59m 47s hamzaremmal:i22224
December 17, 2024 12:13 59m 47s
use new infer expected type for singleton complations (#21421)
Scala 3 with Capture Checking #31: Commit 6ae9548 pushed by tgodzik
December 17, 2024 10:43 14s main
December 17, 2024 10:43 14s
Merge -Xno-decode-stacktraces with -Xno-enrich-error-messages (#22208)
Scala 3 with Capture Checking #30: Commit 266253d pushed by odersky
December 17, 2024 09:19 16s main
December 17, 2024 09:19 16s