Vaibhav Kamra a91a739d0e

Only run CI once for pull requests (#169) ...

Currently CI is triggered twice when a PR is updated (the second
run being triggered by the branch push). This removes that
trigger.

2022-06-08 15:45:06 -06:00

..

workflows

Only run CI once for pull requests (#169)

2022-06-08 15:45:06 -06:00