Skip to content

Actions: scala/scala3

Specification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,339 workflow runs
6,339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #21868, #21869, and #21870: handle CapsOf in more places
Specification #5842: Pull request #21875 opened by noti0na1
November 1, 2024 12:23 1m 30s dotty-staging:fix-21870
November 1, 2024 12:23 1m 30s
Inferring tracked
Specification #5841: Pull request #21628 synchronize by KacperFKorban
November 1, 2024 11:31 1m 26s dotty-staging:infer-tracked
November 1, 2024 11:31 1m 26s
Ensure to escape characters before constructing JSON profile trace
Specification #5839: Pull request #21872 synchronize by WojciechMazur
November 1, 2024 10:06 1m 23s WojciechMazur:fix/21858
November 1, 2024 10:06 1m 23s
Add missing error messages to asserts in QuotesImpl
Specification #5838: Pull request #21852 synchronize by KacperFKorban
November 1, 2024 09:28 1m 15s dotty-staging:fix-i20946
November 1, 2024 09:28 1m 15s
Fix Java parsing of annotations on qualified types (#21867)
Specification #5836: Commit d9d1047 pushed by dwijnand
November 1, 2024 00:27 1m 35s main
November 1, 2024 00:27 1m 35s
Fix extending protected nested java classes
Specification #5835: Pull request #21857 synchronize by dwijnand
October 31, 2024 19:22 1m 19s dwijnand:protected-sep-comp-java
October 31, 2024 19:22 1m 19s
Fix extending protected nested java classes
Specification #5834: Pull request #21857 synchronize by dwijnand
October 31, 2024 18:44 1m 14s dwijnand:protected-sep-comp-java
October 31, 2024 18:44 1m 14s
Resolve name when named imp is behind wild imps
Specification #5833: Pull request #21871 opened by dwijnand
October 31, 2024 18:22 1m 20s dwijnand:java-imports-diff
October 31, 2024 18:22 1m 20s
improvement: Remove workaround for Bloop and update docs (#21842)
Specification #5832: Commit 24038b8 pushed by tgodzik
October 31, 2024 17:51 1m 16s main
October 31, 2024 17:51 1m 16s
Consolidate CC
Specification #5831: Pull request #21863 synchronize by odersky
October 31, 2024 17:31 1m 17s dotty-staging:change-use-handling
October 31, 2024 17:31 1m 17s
improvement: Remove workaround for Bloop and update docs
Specification #5830: Pull request #21842 synchronize by tgodzik
October 31, 2024 14:26 1m 29s tgodzik:improve-devx
October 31, 2024 14:26 1m 29s
improvement: Update mtags to 1.4.1 and backport remaining changes
Specification #5829: Pull request #21859 synchronize by tgodzik
October 31, 2024 14:25 1m 12s tgodzik:backport-1.4.0
October 31, 2024 14:25 1m 12s
Consolidate CC
Specification #5828: Pull request #21863 synchronize by odersky
October 31, 2024 13:26 1m 18s dotty-staging:change-use-handling
October 31, 2024 13:26 1m 18s
improvement: Remove workaround for Bloop and update docs
Specification #5826: Pull request #21842 synchronize by tgodzik
October 31, 2024 12:11 1m 32s tgodzik:improve-devx
October 31, 2024 12:11 1m 32s
improvement: Update mtags to 1.4.1 and backport remaining changes
Specification #5824: Pull request #21859 synchronize by tgodzik
October 31, 2024 11:48 1m 17s tgodzik:backport-1.4.0
October 31, 2024 11:48 1m 17s
Consolidate CC
Specification #5823: Pull request #21863 synchronize by odersky
October 30, 2024 18:54 1m 12s dotty-staging:change-use-handling
October 30, 2024 18:54 1m 12s
Consolidate CC
Specification #5822: Pull request #21863 opened by odersky
October 30, 2024 18:51 1m 11s dotty-staging:change-use-handling
October 30, 2024 18:51 1m 11s
Rename @unbox to @use.
Specification #5821: Pull request #21861 synchronize by odersky
October 30, 2024 17:55 1m 30s dotty-staging:fix-markfree
October 30, 2024 17:55 1m 30s
Fix extending protected nested java classes
Specification #5820: Pull request #21857 synchronize by dwijnand
October 30, 2024 15:31 1m 24s dwijnand:protected-sep-comp-java
October 30, 2024 15:31 1m 24s
fix: Allow as as an infix type in non context bound types
Specification #5819: Pull request #21849 synchronize by KacperFKorban
October 30, 2024 14:58 1m 19s dotty-staging:fix-i21769
October 30, 2024 14:58 1m 19s
ProTip! You can narrow down the results and go further in time using created:<2024-10-30 or the other filters available.