Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Script to bump runner version everywhere #1025

Closed
lars-reimann opened this issue Apr 12, 2024 · 1 comment
Closed

Script to bump runner version everywhere #1025

lars-reimann opened this issue Apr 12, 2024 · 1 comment
Assignees
Labels
documentation 📖 Improvements or additions to documentation wontfix This will not be worked on
Milestone

Comments

@lars-reimann
Copy link
Member

Add a script to bump the runner version in

  • the runner,
  • the GitHub README,
  • the RTD README,
  • the VS Code README.
@lars-reimann lars-reimann added this to DSL Apr 12, 2024
@github-project-automation github-project-automation bot moved this to Backlog in DSL Apr 12, 2024
@lars-reimann lars-reimann added the documentation 📖 Improvements or additions to documentation label Apr 12, 2024
@lars-reimann lars-reimann self-assigned this Apr 12, 2024
@lars-reimann lars-reimann added this to the 0.12.0 milestone Apr 12, 2024
@lars-reimann lars-reimann moved this from Backlog to Todo in DSL Apr 12, 2024
@lars-reimann lars-reimann added the wontfix This will not be worked on label Apr 14, 2024
@lars-reimann
Copy link
Member Author

This is no longer needed since we now have an installer.

@lars-reimann lars-reimann closed this as not planned Won't fix, can't repro, duplicate, stale Apr 14, 2024
@github-project-automation github-project-automation bot moved this from Todo to ✔️ Done in DSL Apr 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation 📖 Improvements or additions to documentation wontfix This will not be worked on
Projects
Archived in project
Development

No branches or pull requests

1 participant