Skip to content

Use parent directory of args.tmp for filesystem checking#1458

Merged
davidlattimore merged 1 commit into
wild-linker:mainfrom
TechnoPorg:push-kokzkmmxwkts
Jan 16, 2026
Merged

Use parent directory of args.tmp for filesystem checking#1458
davidlattimore merged 1 commit into
wild-linker:mainfrom
TechnoPorg:push-kokzkmmxwkts

Conversation

@TechnoPorg

Copy link
Copy Markdown
Contributor

As per the discussion in #1454.

@davidlattimore davidlattimore left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for noticing and fixing this :)

Comment thread benchmarks/runner/src/benchmarking.rs Outdated
@davidlattimore davidlattimore merged commit 56d4c3d into wild-linker:main Jan 16, 2026
20 checks passed
@TechnoPorg TechnoPorg deleted the push-kokzkmmxwkts branch January 16, 2026 21:49
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