-
-
Notifications
You must be signed in to change notification settings - Fork 96
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
remove TravisCI & Appveyor YAML #333
Conversation
jmckenna
commented
Apr 11, 2024
- related to Switch from Travis and AppVeyor to GitHub actions #274
- removes the TravisCI and Appveyor YAML files, as we have switched to GitHub Actions for Linux & Windows
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
After so long time, it is good to finally disable these checks. Thanks @jmckenna !
By the way, what about adding Ubuntu 22.04 and 24.04 to the list of checked OS? |
@jbo-ads I was wondering that also - will try in another pull request, thanks! |
The backport to
stderr
stdout
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-branch-1-14 branch-1-14
# Navigate to the new working tree
cd .worktrees/backport-branch-1-14
# Create a new branch
git switch --create backport-333-to-branch-1-14
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick cc34db21041762c264b7492c9b1ddbd4fc467065,2aa93fd83e22b51801586fedff1b35cd777e46bb
# Push it to GitHub
git push --set-upstream origin backport-333-to-branch-1-14
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-branch-1-14 Then, create a pull request where the |
The backport to
stderr
stdout
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-branch-1-12 branch-1-12
# Navigate to the new working tree
cd .worktrees/backport-branch-1-12
# Create a new branch
git switch --create backport-333-to-branch-1-12
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick cc34db21041762c264b7492c9b1ddbd4fc467065,2aa93fd83e22b51801586fedff1b35cd777e46bb
# Push it to GitHub
git push --set-upstream origin backport-333-to-branch-1-12
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-branch-1-12 Then, create a pull request where the |