Skip to content
Scala CLA

Backport "Error instead of crash when generating trees referring to skolems" to 3.3 LTS #807

Sign in to view logs

Backport "Error instead of crash when generating trees referring to skolems" to 3.3 LTS

Backport "Error instead of crash when generating trees referring to skolems" to 3.3 LTS #807

Triggered via pull request November 18, 2025 09:50
@tgodziktgodzik
opened #656
backport-lts-3.3-24380
Status Success
Total duration 11s
Artifacts –

cla.yml

on: pull_request
check
4s
check
Fit to window
Zoom out
Zoom in