fix: restart io on transport deletion #12
This file contains hidden or 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
| # Check that PRs are made against the -dev version. | |
| # | |
| # If this fails, push commit to update the version to -dev to main. | |
| name: Check for -dev version | |
| on: | |
| pull_request: | |
| permissions: {} | |
| jobs: | |
| check_dev_version: | |
| name: Check that current version ends with -dev | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| with: | |
| show-progress: false | |
| persist-credentials: false | |
| - name: Run version-checking script | |
| run: scripts/check-dev-version.py |