Thanks to @Muqiu-Han a severe bug has been fixed: an exception
raised by failwith
wasn’t recognized as failure and the test result had been set to ‘passed’.
Changelog:
Version 0.4.0 (2023-03-10)
- Mark a test case as failed if a
[FAIL]
tag is present, even if the actual error message can’t be parsed.
Bugfixes
- Make the error parser recognize the exception generated by
failwith
. (Fix #1)
Internal Changes
- Add test cases to check that the changes actually work.
- Fix typo in issue template.
- Correct the job name in the
release
GitHub workflow.