This repository was archived by the owner on Apr 20, 2026. It is now read-only.

Fix coverage upload on main builds#96

Merged

dziemba merged 1 commit into

fix-coverage-upload

May 9, 2022

Commits on May 9, 2022

Fix coverage upload on main builds
dziemba
committed