Closed mmuckley closed 2 years ago
This updates CI to avoid duplicate triggers on push and pull_request. For the old push case we now ask the user to manually trigger the tests with workflow_dispatch using the GitHub website UI. All pull requests should still be tested.
push
pull_request
workflow_dispatch
This updates CI to avoid duplicate triggers on
push
andpull_request
. For the oldpush
case we now ask the user to manually trigger the tests withworkflow_dispatch
using the GitHub website UI. All pull requests should still be tested.