Wed, 06 Jul 2022 10:39:11 +0200SVGHMI: better handling of page switch fade-out.
Edouard Tisserant [Wed, 06 Jul 2022 10:39:11 +0200] rev 3535
SVGHMI: better handling of page switch fade-out.

- In cases or relative jump to current page, page was keeping black after switch.
- Now keep track of undergoing page switch without comparing subscribed page to visible page.

Thu, 07 Jul 2022 21:41:35 +0200tests: nore details, please
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 07 Jul 2022 21:41:35 +0200] rev 3534
tests: nore details, please

Wed, 06 Jul 2022 17:04:11 +0200Github CI: upload artifact (reports) when failing
etisserant <edouard.tisserant@gmail.com> [Wed, 06 Jul 2022 17:04:11 +0200] rev 3533
Github CI: upload artifact (reports) when failing