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

cargo update #3892

Closed
wants to merge 1 commit into from
Closed

cargo update #3892

wants to merge 1 commit into from

Conversation

ilyagr
Copy link
Contributor

@ilyagr ilyagr commented Jun 15, 2024

I'm mainly curious whether facebook/watchman#1217 was fixed.

@ilyagr ilyagr force-pushed the cargo-update branch 3 times, most recently from 6103c9c to 2b80de9 Compare June 15, 2024 23:32
ilyagr added a commit to ilyagr/jj that referenced this pull request Jun 15, 2024
Without this, `cargo deny` fails after a `cargo update`
(https://github.com/martinvonz/jj/actions/runs/9531433728/job/26272377250?pr=3892
failed, but once it includes this commit, jj-vcs#3892 no longer has a `cargo
deny` failure. The windows failure is unrelated))
ilyagr added a commit that referenced this pull request Jun 15, 2024
Without this, `cargo deny` fails after a `cargo update`
(https://github.com/martinvonz/jj/actions/runs/9531433728/job/26272377250?pr=3892
failed, but once it includes this commit, #3892 no longer has a `cargo
deny` failure. The windows failure is unrelated))
thoughtpolice added a commit that referenced this pull request Jun 19, 2024
Reissue of #3892 now that we have updated
to `watchman_client` 0.9, which should fix this issue based on reading the
source code.
@thoughtpolice thoughtpolice mentioned this pull request Jun 19, 2024
4 tasks
thoughtpolice added a commit that referenced this pull request Jun 19, 2024
Reissue of #3892 now that we have updated
to `watchman_client` 0.9, which should fix this issue based on reading the
source code.
@thoughtpolice
Copy link
Member

I filed an alternative to fix this in #3926 which went through.

@ilyagr ilyagr deleted the cargo-update branch June 20, 2024 00:25
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