jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1258019?usp=email )
Change subject: Tests: Move pre-commit py313 lint test from Jenkins to GitHub
......................................................................
Tests: Move pre-commit py313 lint test from Jenkins to GitHub
Bug: T420840
Change-Id: Ie5987ab8827a2288d5e15e01c5744e1d87dfc160
---
M .github/workflows/pre-commit.yml
M tox.ini
2 files changed, 3 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Xqt: Looks good to me, approved
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
index 80261a6..ea3a9cf 100644
--- a/.github/workflows/pre-commit.yml
+++ b/.github/workflows/pre-commit.yml
@@ -31,6 +31,8 @@
- windows-latest
- macOS-latest
include:
+ - python-version: '3.13'
+ os: ubuntu-latest
- python-version: '3.14'
os: ubuntu-latest
- python-version: 3.15-dev
diff --git a/tox.ini b/tox.ini
index e58a03b..0b50f2d 100644
--- a/tox.ini
+++ b/tox.ini
@@ -4,7 +4,7 @@
skip_missing_interpreters = True
envlist =
commit-message
- lint-py{310,313}
+ lint-py{310}
[params]
# Note: tox 4 does not support multiple lines when doing parameters
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1258019?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings?usp=email
Gerrit-MessageType: merged
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: Ie5987ab8827a2288d5e15e01c5744e1d87dfc160
Gerrit-Change-Number: 1258019
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <[email protected]>
Gerrit-Reviewer: Xqt <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
Pywikibot-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]
