Skip to content
Back to pull request #18085

Refix avoid GADT casting with ProtoTypes #24380

Sign in to view logs

Refix avoid GADT casting with ProtoTypes

Refix avoid GADT casting with ProtoTypes #24380

Re-run triggered June 28, 2023 12:57
@dwijnanddwijnand
#18085
dwijnand:fix-conv-proto
Status Success
Total duration 1h 13m 36s
Artifacts –

ci.yaml

on: pull_request
test_non_bootstrapped
0s
test_non_bootstrapped
test
1h 13m
test
MiMa
6m 52s
MiMa
community_build_a
58m 49s
community_build_a
community_build_b
1h 24m
community_build_b
community_build_c
59m 24s
community_build_c
test_sbt
19m 56s
test_sbt
test_java8
0s
test_java8
test_windows_full
0s
test_windows_full
test_windows_fast
11m 28s
test_windows_fast
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.