Commit 7428eb6e8bc307709e803763119731d81a77d1bc

Ran Benita 2022-12-16T21:36:13

ci: don't run linux on push to non-master branches It's redundant with the pull request run. Signed-off-by: Ran Benita <ran@unusedvar.com>