search

rems-project / sail

Sail architecture definition language
Other
622 stars 116 forks source link

TC: Check that we haven't inferred a nonsensical type for if conditions #764

Closed Alasdair closed 2 weeks ago

github-actions[bot] commented 2 weeks ago

Test Results

   10 files  ±0     22 suites  ±0   0s ⏱️ ±0s   711 tests +1    711 ✅ +1  0 💤 ±0  0 ❌ ±0  2 230 runs  +1  2 229 ✅ +1  1 💤 ±0  0 ❌ ±0 

Results for commit d22c4ff5. ± Comparison against base commit a93d125c.

:recycle: This comment has been updated with latest results.