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