Skip to content

Actions: scala/scala3

Add to backporting project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
806 workflow run results
806 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better message on TASTY mismatch
Add to backporting project #27: Pull request #17411 closed by bishabosha
November 2, 2023 15:49 2s romanowski:tasty-message
November 2, 2023 15:49 2s
Increase PC timeout
Add to backporting project #24: Pull request #18824 closed by nicolasstucki
November 2, 2023 12:29 1m 4s rochala:increase-pc-test-timeout
November 2, 2023 12:29 1m 4s
Update MAINTENANCE.md
Add to backporting project #21: Pull request #18817 closed by nicolasstucki
November 1, 2023 16:58 1m 7s Linyxus-patch-1
November 1, 2023 16:58 1m 7s
Add support for xsbti.compile.CompileProgress
Add to backporting project #16: Pull request #18739 closed by sjrd
October 31, 2023 15:45 1m 5s dotty-staging:add-compile-progress
October 31, 2023 15:45 1m 5s
Tweak approximation of type variables when computing default types
Add to backporting project #15: Pull request #18798 closed by odersky
October 31, 2023 11:04 1m 7s dotty-staging:fix-18795
October 31, 2023 11:04 1m 7s
Allow inner classes of universal traits
Add to backporting project #14: Pull request #18796 closed by odersky
October 30, 2023 18:29 1m 7s dotty-staging:drop-inner-class-restriction
October 30, 2023 18:29 1m 7s
Detect case where two alternatives are the same after widening ExprTypes
Add to backporting project #13: Pull request #18787 closed by odersky
October 30, 2023 18:28 1m 7s dotty-staging:fix-18768
October 30, 2023 18:28 1m 7s
Improve error message about missing type of context function parameter
Add to backporting project #11: Pull request #18788 closed by odersky
October 30, 2023 16:10 1m 17s dotty-staging:fix-18188
October 30, 2023 16:10 1m 17s
Use github token instead of personal one
Add to backporting project #10: Pull request #18797 closed by Kordyjan
October 30, 2023 13:52 2s dotty-staging:non-personal-token
October 30, 2023 13:52 2s
Better error messages for missing commas and more
Add to backporting project #9: Pull request #18785 closed by odersky
October 30, 2023 12:54 1m 14s dotty-staging:fix-18734
October 30, 2023 12:54 1m 14s
Fix error detected in review of #18699
Add to backporting project #8: Pull request #18781 closed by Linyxus
October 30, 2023 12:28 1m 6s dotty-staging:followup-18699
October 30, 2023 12:28 1m 6s
Wrap IDs
Add to backporting project #7: Pull request #18794 closed by Kordyjan
October 30, 2023 11:54 3s dotty-staging:wrap-ids
October 30, 2023 11:54 3s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.