Skip to content

Jobserver integration#923

Merged
marxin merged 13 commits into
wild-linker:mainfrom
marxin:jobserver-integration
Jun 25, 2025
Merged

Jobserver integration#923
marxin merged 13 commits into
wild-linker:mainfrom
marxin:jobserver-integration

Conversation

@marxin

@marxin marxin commented Jun 22, 2025

Copy link
Copy Markdown
Collaborator

Resolves: #508

Comment thread libwild/src/args.rs Outdated
Comment thread libwild/Cargo.toml Outdated
@marxin marxin force-pushed the jobserver-integration branch from 5bd224f to 6b251eb Compare June 23, 2025 06:17

@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.

Looks good to me. We can always revisit the API later if we decide something else would fit better. Thanks for your work on this!

@marxin marxin merged commit fa4edef into wild-linker:main Jun 25, 2025
20 checks passed
AadiWaghray pushed a commit to AadiWaghray/wild that referenced this pull request Aug 10, 2025
@marxin marxin deleted the jobserver-integration branch October 14, 2025 12:05
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.

Jobserver integration

2 participants