David Finol 5eb8e33b75 Ignore push on main branch ... Ignore push on main branch, since the pull request should have already tested that change. Continue to run on pushes to all other branches.		2022-05-13 12:45:59 -05:00
..
workflows	Ignore push on main branch	2022-05-13 12:45:59 -05:00