Skip to content
Back to pull request #18085

Refix avoid GADT casting with ProtoTypes #14316

Sign in to view logs

Refix avoid GADT casting with ProtoTypes

Refix avoid GADT casting with ProtoTypes #14316

Triggered via pull request June 28, 2023 10:05
@dwijnanddwijnand
opened #18085
dwijnand:fix-conv-proto
Status Success
Total duration 24m 50s
Artifacts –

scaladoc.yaml

on: pull_request
build
24m 41s
build
stdlib-sourcelinks-test
0s
stdlib-sourcelinks-test
Fit to window
Zoom out
Zoom in