Skip to content
Specification

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

Sign in to view logs

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) #5326

Run time

Learn about OS pricing on GitHub Actions
Job Run time
specification
1m 13s
1m 13s