Skip to content

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #9

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS

Backport "Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)" to LTS #9

Triggered via pull request December 5, 2024 15:04
Status Failure
Total duration 37s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
check
Process completed with exit code 1.
check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636