Jon Chambers 4a0a0e10d2 Run tests on push to avoid double-running tests on pull requests.		2021-02-23 12:07:57 -05:00
..
workflows	Run tests on push to avoid double-running tests on pull requests.	2021-02-23 12:07:57 -05:00