Fix a bug that could cause widgets at the start of a line to leak #738
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: Trigger CI | |
| on: push | |
| jobs: | |
| build: | |
| name: Dispatch to main repo | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Emit repository_dispatch | |
| uses: mvasigh/dispatch-action@main | |
| with: | |
| # You should create a personal access token and store it in your repository | |
| token: ${{ secrets.DISPATCH_AUTH }} | |
| repo: dev | |
| owner: codemirror | |
| event_type: push |