fix: Catch crash when resultLauncher is not unregistered we don't know why #653
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Dependent Issues | |
| on: | |
| issues: | |
| types: | |
| - opened | |
| - edited | |
| - closed | |
| - reopened | |
| pull_request_target: | |
| types: | |
| - opened | |
| - edited | |
| - closed | |
| - reopened | |
| # Makes sure we always add status check for PRs. Useful only if | |
| # this action is required to pass before merging. Otherwise, it | |
| # can be removed. | |
| - synchronize | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: z0al/[email protected] | |
| env: | |
| # (Required) The token to use to make API calls to GitHub. | |
| GITHUB_TOKEN: ${{ github.token }} |