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

Retry with lf #3231

Closed
wants to merge 6 commits into from
Closed

Retry with lf #3231

wants to merge 6 commits into from

Conversation

leej3
Copy link
Collaborator

@leej3 leej3 commented Apr 4, 2024

Potentially supercedes #3229. Just checking some potential fixes on CI

@github-actions github-actions bot added the ci CI label Apr 4, 2024
@leej3
Copy link
Collaborator Author

leej3 commented Apr 4, 2024

I think the "--lfnf none" behaviour described in the reproducer from the original PR will prevent this approach from working.

@leej3 leej3 closed this Apr 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant