Make test results less jumpy #5933
GitHub Actions / Test Report
succeeded
Oct 11, 2024 in 0s
9 passed, 0 failed and 0 skipped
✅ junit_tests.xml
9 tests were completed in 0ms with 9 passed, 0 failed and 0 skipped.
Test suite | Passed | Failed | Skipped | Time |
---|---|---|---|---|
Dynamics | 9✅ | 0ms |
✅ Dynamics
Dynamics.Elaboration
✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ Application of function on free variable
✅ Inconsistent case statement
✅ Let expression for a function
Loading