search

rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Make sure we use constraints when adding struct fields to environment #557

Closed Alasdair closed 1 month ago

github-actions[bot] commented 1 month ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   639 tests +1    639 :white_check_mark: +1  0 :zzz: ±0  0 :x: ±0  2 044 runs  +3  2 043 :white_check_mark: +3  1 :zzz: ±0  0 :x: ±0 

Results for commit 0bcf2bba. ± Comparison against base commit 53fbc802.

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