Backport "Move CI management from lampepfl/dotty-ci" to LTS #31499
WojciechMazurci.yaml
on: pull_request
test_non_bootstrapped
0s
test
0s
MiMa
0s
community_build_a
0s
community_build_b
0s
community_build_c
0s
test_sbt
0s
test_java8
0s
test_windows_full
0s
test_windows_fast
0s
publish_release
0s
open_issue_on_failure
0s