Version 0.24
·
6 commits
to master
since this release
Add the option to report errors and warnings on the Github Actions summary page.
Add the option to report errors and warnings on the Github Actions summary page.