Merge pull request #1286 from akoshelev/sat-add-fix #4864
check.yml
on: push
Basic Checks
14m 47s
Release builds and tests
10m 46s
Additional Builds and Concurrency Tests
12m 18s
Slow tests
6m 8s
miri
5m 2s
Measure coverage
17m 6s
Matrix: sanitize