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

Add failing reference test #1220

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

c-hagem
Copy link
Contributor

@c-hagem c-hagem commented Jan 10, 2025

Adds a proptest that exposes (most likely) a bug in Mountpoint regarding the local content (a file that is created, but not open yet) of a directory being forgotten, if all of the remote content is deleted.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license and I agree to the terms of the Developer Certificate of Origin (DCO).

@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
@c-hagem c-hagem had a problem deploying to PR integration tests January 10, 2025 17:03 — with GitHub Actions Failure
Adds a proptest that exposes (most likely) a bug in Mountpoint regarding the local content (a file that is created, but not open yet) of a directory being forgotten, if all of the remote content is deleted.

Signed-off-by: Christian Hagemeier <[email protected]>
@c-hagem c-hagem force-pushed the failing-proptest-forgetting-local-state branch from 37cbb32 to f261587 Compare January 13, 2025 09:52
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
@c-hagem c-hagem requested a deployment to PR integration tests January 13, 2025 09:52 — with GitHub Actions Waiting
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.

1 participant