Skip to content

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

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

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

Triggered via pull request September 17, 2024 14:36
Status Success
Total duration 16s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in