Add lazy API to type-checker

rems-project / sail

Sail architecture definition language

Other

621 stars 114 forks source link

Add lazy API to type-checker #738

Closed Alasdair closed 1 month ago

Alasdair commented 1 month ago

Update generated opam files

github-actions[bot] commented 1 month ago

Test Results

10 files ±0 22 suites ±0 0s :stopwatch: ±0s 701 tests ±0 701 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 2 182 runs ±0 2 181 :white_check_mark: ±0 1 :zzz: ±0 0 :x: ±0

Results for commit a2039dc3. ± Comparison against base commit 5df9e7f5.

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