Update gittools/actions action to v3.0.3 #350
GitHub Actions / Test Report
succeeded
Nov 20, 2024 in 1s
9 passed, 0 failed and 0 skipped
✅ src/UnitTests/TestResults/_fv-az1432-173_2024-11-20_07_39_29.trx
9 tests were completed in 5s with 9 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| NanoByte.SatSolver.ClausesFacts | 2✅ | 28ms | ||
| NanoByte.SatSolver.FormulaFacts | 5✅ | 28ms | ||
| NanoByte.SatSolver.SolverFacts | 2✅ | 26ms |
✅ NanoByte.SatSolver.ClausesFacts
✅ AtMostOne
✅ ExactlyOne
✅ NanoByte.SatSolver.FormulaFacts
✅ DetectsConsistency
✅ EliminatesPureLiterals
✅ PropagatesUnits
✅ Simplifies
✅ SimplifiesCollectionStyle
✅ NanoByte.SatSolver.SolverFacts
✅ DetectsSatisfiableFormulas
✅ DetectsUnsatisfiableFormulas
Loading