migrate to new satisfiliability check #2175
GitHub Actions / Clang Test Results
succeeded
Feb 27, 2025 in 0s
All 8 631 tests pass, 8 skipped in 31m 30s
214 files 214 suites 31m 30s ⏱️
8 639 tests 8 631 ✅ 8 💤 0 ❌
8 885 runs 8 873 ✅ 12 💤 0 ❌
Results for commit 6cbff64.
Loading