search

endjin / Z3.Linq

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

Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.6 in build.ps1 #40

Open dependjinbot[bot] opened 1 month ago

dependjinbot[bot] commented 1 month ago

Updated module dependencies used by the scripted build process

github-actions[bot] commented 1 month ago

Test Results

0 tests  ±0   0 :white_check_mark: ±0   0s :stopwatch: ±0s 0 suites ±0   0 :zzz: ±0  0 files   ±0   0 :x: ±0 

Results for commit ddc29b76. ± Comparison against base commit f937287c.