Add push event trigger and merge simulation for PR workflow#5

Merged

matej-almasi merged 4 commits intomainfrom feature/improved-pr-validation

Dec 9, 2024

+3

Commits on Dec 9, 2024

Add push event trigger and merge simulation for PR workflow
Matej Almasi
committed
simplify merge of main in pr-main.yaml
Matej Almasi
committed
amend: commit unstaged update
Matej Almasi
committed
remove merging of main into PR ref in CI
Matej Almasi
committed