Skip to content

chore: update GitHub workflows and dependencies - #1000

Merged
Gorniaky merged 2 commits into
mainfrom
chore--update-GitHub-workflows-and-dependencies
Sep 1, 2026
Merged

chore: update GitHub workflows and dependencies#1000
Gorniaky merged 2 commits into
mainfrom
chore--update-GitHub-workflows-and-dependencies

Conversation

@Gorniaky

@Gorniaky Gorniaky commented Sep 1, 2026

Copy link
Copy Markdown
Contributor
  • Updated dependabot-automerge.yml to use -ds flag for merging PRs.
  • Modified lint.yml to ignore main branch on push and improved commit logic for lint fixes.
  • Enhanced publish-vscode-extension.yml to handle pre-releases and upgraded action-gh-release to v3.
  • Updated sync-engine.yml to include branch-ignore for main and improved commit logic.
  • Bumped versions of several dependencies in package.json and yarn.lock, including @typescript-eslint packages and mocha.

- Updated dependabot-automerge.yml to use `-ds` flag for merging PRs.
- Modified lint.yml to ignore main branch on push and improved commit logic for lint fixes.
- Enhanced publish-vscode-extension.yml to handle pre-releases and upgraded action-gh-release to v3.
- Updated sync-engine.yml to include branch-ignore for main and improved commit logic.
- Bumped versions of several dependencies in package.json and yarn.lock, including @typescript-eslint packages and mocha.
@Gorniaky
Gorniaky merged commit 50c7040 into main Sep 1, 2026
4 checks passed
@Gorniaky
Gorniaky deleted the chore--update-GitHub-workflows-and-dependencies branch September 1, 2026 22:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant