Add GADT symbols when typing typing-ahead lambda bodies #28871
Triggered via pull request
February 22, 2024 15:14
dwijnand
Status
Success
Total duration
3h 4m 4s
Artifacts
–
ci.yaml
on: pull_request
test_non_bootstrapped
0s
test
50m 35s
MiMa
11m 2s
community_build_a
1h 3m
community_build_b
1h 25m
community_build_c
1h 3m
test_sbt
17m 14s
test_java8
0s
test_windows_full
0s
test_scala2_library_tasty
0s
test_windows_fast
19m 55s
publish_release
0s
open_issue_on_failure
0s
Annotations
1 warning
|
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
|