Skip to content

[CI] Do not build on every push#774

Merged
alexandrnikitin merged 1 commit intonsubstitute:mainfrom alexandrnikitin:github-ci-pushJan 30, 2024

Commits

Commits on Jan 29, 2024