Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #771
Triggered via pull request
September 17, 2024 14:36
smarter
Status
Success
Total duration
10m 47s
Artifacts
–
launchers.yml
on: pull_request
Deploy and Test on Linux x64 architecture
5m 16s
Deploy and Test on Linux ARM64 architecture
0s
Deploy and Test on Mac x64 architecture
10m 35s
Deploy and Test on Mac ARM64 architecture
6m 11s
Deploy and Test on Windows x64 architecture
8m 1s