Skip to content

Revert "Fail pipeline when git push errors"#38

Merged
TomasVotruba merged 1 commit intomainfrom revert-34-mainOct 13, 2022

Commits

Commits on Oct 13, 2022