Skip to content
CI

fix: reconstruction of uninterpreted sorts with >10 elements #906

Sign in to view logs

fix: reconstruction of uninterpreted sorts with >10 elements

fix: reconstruction of uninterpreted sorts with >10 elements #906

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux-x86_64
7m 55s
macOS-aarch64
6m 59s
Linux-aarch64
7m 19s
macOS-x86_64
17m 13s
Windows-x86_64
15m 14s
54m 40s