Revision 8d8418cf7ad8c386070ffb915957de680e9039d1

Committed on 11/03/2022 11:39 pm by Sergey M <finesserus@gmail.com> [GitHub Diff]

Make the tests run in pull requests