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

Wintest ci (For CI -- test that the parent PR works) #4183

Draft
wants to merge 7 commits into
base: main
Choose a base branch
from

Conversation

ilyagr
Copy link
Collaborator

@ilyagr ilyagr commented Jul 30, 2024

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

This includes a bump of `libgit2` to v1.8.1.
@ilyagr ilyagr changed the title Wintest ci Wintest ci (For CI -- test that the parent PR works) Jul 30, 2024
@ilyagr
Copy link
Collaborator Author

ilyagr commented Jul 30, 2024

This is meant to check that the merge of #4080 and #4184 Update: #4188 works, but the CI doesn't seem to run for some reason when the PR is a real merge. Let me try constructing the merge artificially...

(Update: The merge of #4080 and #4184 does work, but I don't think I'll be updating #4184 much)

@ilyagr ilyagr force-pushed the wintest-ci branch 12 times, most recently from 4bb1cac to 5948ea4 Compare July 31, 2024 04:42
@ilyagr ilyagr force-pushed the wintest-ci branch 3 times, most recently from 71f96c0 to 31c5d3f Compare July 31, 2024 07:03
ilyagr added 3 commits July 31, 2024 00:21
It seems like an oversight that the algorithm from `jj git clone`
wasn't used in them before
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.

2 participants