Use `pull_request_target` to allow running from forks
Use `pull_request_target` to allow running from forks

As per https://github.blog/2020-08-03-github-actions-improvements-for-fork-and-pull-request-workflows/

zilverline/sequent,zilverline/sequent