Skip to content

Actions: scala/scala3

scaladoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,616 workflow runs
5,616 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add workaround for #22616
scaladoc #26973: Commit 02886ac pushed by WojciechMazur
August 1, 2025 11:41 Skipped release-3.7.3_backport-23618
August 1, 2025 11:41 Skipped
August 1, 2025 11:39 Skipped
Add line number magic comment support (#23549)
scaladoc #26969: Commit 902d9d9 pushed by Linyxus
August 1, 2025 11:00 19m 2s main
August 1, 2025 11:00 19m 2s
Update JDK version to 17 in some remaining CI tasks (#23639)
scaladoc #26968: Commit d4e0aae pushed by natsukagami
August 1, 2025 10:54 16m 49s main
August 1, 2025 10:54 16m 49s
Don't module class for unhabitated fields (#23634)
scaladoc #26967: Commit 17625b5 pushed by WojciechMazur
August 1, 2025 10:03 18m 46s main
August 1, 2025 10:03 18m 46s
July 31, 2025 20:55 18m 57s
Add line number magic comment support
scaladoc #26962: Pull request #23549 synchronize by Linyxus
July 31, 2025 15:45 18m 12s dotty-staging:line-number-magic
July 31, 2025 15:45 18m 12s
Add line number magic comment support
scaladoc #26961: Pull request #23549 synchronize by Linyxus
July 31, 2025 15:40 19m 29s dotty-staging:line-number-magic
July 31, 2025 15:40 19m 29s
Update build dependency jgit to 7.3.0.202506031305-r
scaladoc #26959: Pull request #23109 synchronize by natsukagami
July 31, 2025 14:42 17m 26s natsukagami:update-jgit
July 31, 2025 14:42 17m 26s
Reenable better-fors under '-source:3.7 -preview' settings (#23636)
scaladoc #26954: Commit 207604b pushed by KacperFKorban
July 31, 2025 10:06 18m 49s main
July 31, 2025 10:06 18m 49s
Add line number magic comment support
scaladoc #26953: Pull request #23549 synchronize by Linyxus
July 31, 2025 09:28 18m 56s dotty-staging:line-number-magic
July 31, 2025 09:28 18m 56s
Make SIP-62 better-fors a stable feature (#23630)
scaladoc #26951: Commit 1f148a1 pushed by WojciechMazur
July 31, 2025 07:37 18m 31s main
July 31, 2025 07:37 18m 31s
ProTip! You can narrow down the results and go further in time using created:<2025-07-31 or the other filters available.