Fix CI execution conditions: pull request + push to main#203
Merged
elbrujohalcon merged 1 commit intomainfrom Jun 10, 2024
Merged
Fix CI execution conditions: pull request + push to main#203elbrujohalcon merged 1 commit intomainfrom
elbrujohalcon merged 1 commit intomainfrom