Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #820
Triggered via pull request
September 26, 2024 15:08
smarter
Status
Success
Total duration
10m 10s
Artifacts
–
launchers.yml
on: pull_request
Deploy and Test on Linux x64 architecture
5m 43s
Deploy and Test on Linux ARM64 architecture
0s
Deploy and Test on Mac x64 architecture
10m 0s
Deploy and Test on Mac ARM64 architecture
6m 10s
Deploy and Test on Windows x64 architecture
7m 30s