misc: use nox instead of tox (#81735) #113
842ac1742f fix session.name not available on Jenkin's nox version
All checks were successful
gitea/lingo/pipeline/head This commit looks good
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
You can also view command line instructions.
Step 1:From your project repository, check out a new branch and test the changes.
git checkout -b wip/81735-passage-a-nox main
git pull origin wip/81735-passage-a-nox
Step 2:Merge the changes and update on Gitea.
git checkout main
git merge --no-ff wip/81735-passage-a-nox
git push origin main
Reference in New Issue
No description provided.
Delete Branch "wip/81735-passage-a-nox"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?