Skip to content

Run PR workflows also on push to develop#181

Merged
asewnath merged 2 commits intodevelopfrom feature/push_to_developMay 31, 2023

Commits

Commits on May 31, 2023