Skip to content

run CI only on push/PR to main#330

Merged
egpbos merged 4 commits intomainfrom
CI-only-on-main
Jan 31, 2023
Merged

run CI only on push/PR to main#330
egpbos merged 4 commits intomainfrom
CI-only-on-main

Commits

Commits on Jan 30, 2023

Commits on Jan 31, 2023