Readd warnings failing build in dev but exclude some unused warnings #1405
GitHub Actions / Test Report
succeeded
Oct 3, 2024 in 1s
18 passed, 0 failed and 0 skipped
✅ junit_tests.xml
18 tests were completed in 0ms with 18 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| Dynamics | 18✅ | 0ms |
✅ Dynamics
Dynamics.Elaboration
✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ An unapplied function
✅ Application of function on free variable
✅ Inconsistent case statement
✅ Let expression for a function
✅ Function application with a deferred argument
Dynamics.Statics
✅ Function with unknown param
✅ Function with known param
✅ bifunction
✅ function application
✅ function deferral
Dynamics.Evaluator
✅ Integer literal
✅ Integer sum
Loading