Closed plocket closed 4 months ago
Also maybe do this to ALKiln. It could make a good example. Is there a reason to test the event happening at the same time? [There are plenty of non-pr times when we push, so we should see plenty of both triggers.]
Tell end users how to use both push and pull_request triggers without firing both events at the same time.
https://github.com/IHaskell/IHaskell/blob/60a750f5b038a17717609d8a40be0fafd69e1c35/.github/workflows/stack.yml#L37