search

endjin / Z3.Linq

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

Bump IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml #18

Closed dependjinbot[bot] closed 1 year ago

dependjinbot[bot] commented 1 year ago

Updated IMM yaml with OpenChain status

github-actions[bot] commented 1 year ago

Test Results

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

Results for commit 26d6cc3b. ± Comparison against base commit 820ea3a9.

JamesDawson commented 1 year ago

Closed as part of bulk CodeOps clean-up process