Skip to content

[CI] Disable second PR run of Github actions, run only on push#1982

Merged
ghaerr merged 1 commit intomasterfrom ciSep 2, 2024

Commits

Commits on Sep 2, 2024