search

endjin / Z3.Linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.
MIT License
29 stars 3 forks source link

Migrate to shared workflow build pipeline #13

Closed JamesDawson closed 1 year ago

github-actions[bot] commented 1 year ago

Test Results

0 tests   0 :heavy_check_mark:  0s :stopwatch: 0 suites  0 :zzz: 0 files    0 :x:

Results for commit 28ea892f.

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