Pluto crashes on closing #17466
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
| # This GitHub action checks whether a new version of this package | |
| # has been registred in the official registry. | |
| # If so, it creates a new _release_: | |
| # https://github.com/fonsp/Pluto.jl/releases | |
| name: TagBot | |
| on: | |
| issue_comment: | |
| types: | |
| - created | |
| workflow_dispatch: | |
| jobs: | |
| TagBot: | |
| if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot' | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - uses: JuliaRegistries/TagBot@v1 | |
| with: | |
| # We use that PAT token instead of GITHUB_TOKEN because we are triggering another github action on the 'release' event. | |
| # Triggering a workflow from a workflow is only allowed if the relaying event is signed with a PAT. | |
| # See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#triggering-new-workflows-using-a-personal-access-token | |
| token: ${{ secrets.PAT_TOKEN }} | |
| changelog: | | |
| > **Try this release in your browser!** _(Available 30 minutes after the release)_ | |
| > | |
| > <a href="https://binder.plutojl.org/{{ version }}/"><img alt="Binder logo" src="https://mybinder.org/badge_logo.svg"></a> | |
| > | |
| > Generate your own binder links using [pluto-on-binder.glitch.me](https://pluto-on-binder.glitch.me/)! | |
| {% if custom %} | |
| {{ custom }} | |
| {% endif %} | |
| {% if pulls %} | |
| **Merged pull requests:** | |
| {% for pull in pulls %} | |
| - {{ pull.title }} (#{{ pull.number }}) (@{{ pull.author.username }}) | |
| {% endfor %} | |
| {% endif %} | |
| {% if issues %} | |
| **Closed issues:** | |
| {% for issue in issues %} | |
| - {{ issue.title }} (#{{ issue.number }}) | |
| {% endfor %} | |
| {% endif %} | |
| # New features | |
| *(TODO)* | |
| # Performance improvements | |
| *(TODO)* | |
| # Fixes | |
| *(TODO)* | |
| # Internal changes | |
| *(TODO)* | |
| {% if previous_release %} | |
| [Diff since {{ previous_release }}]({{ compare_url }}) | |
| {% endif %} |