Skip to content

Fix workdir for SubmitInfra#112

Merged
jrapin merged 2 commits intomainfrom
fix/submit-workdir
Sep 19, 2025
Merged

Fix workdir for SubmitInfra#112
jrapin merged 2 commits intomainfrom
fix/submit-workdir

Conversation

@jrapin
Copy link
Copy Markdown
Contributor

@jrapin jrapin commented Sep 19, 2025

Fixes #111

@meta-cla meta-cla bot added the CLA Signed This label is managed by the Meta Open Source bot. label Sep 19, 2025
@jrapin jrapin merged commit e98c89e into main Sep 19, 2025
3 checks passed
@jrapin jrapin deleted the fix/submit-workdir branch September 19, 2025 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Meta Open Source bot.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

SubmitInfra with WorkDir caching?

1 participant