Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Run CI github actions on 'push' event instead of just PR or p…
…ushes to master/dev." This reverts commit 1ef7e47.
- Loading branch information