search

ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

fix: Add Redis availability check in tests #569

Open devin-ai-integration[bot] opened 5 days ago

devin-ai-integration[bot] commented 5 days ago

This PR contains a single commit from PR #487.

Original commit message: fix: Add Redis availability check in tests

Link to Devin run: https://preview.devin.ai/devin/68ae72c24fa24c03840e8a814a11ae62

If you have any feedback, you can leave comments in the PR and I'll address them in the app!