roc/.github
Richard Feldman ad9ae5aaf6 Only run CI on PR, not on push
It's annoying to see the double output, and doesn't seem to help.
2019-11-21 07:10:43 -05:00
..
workflows Only run CI on PR, not on push 2019-11-21 07:10:43 -05:00