Skip to content

New competition bid source #102

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 12 commits into from
Jul 15, 2025
Merged

New competition bid source #102

merged 12 commits into from
Jul 15, 2025

Conversation

ZanCorDX
Copy link
Collaborator

Mostly IPC changes for the bidding service.

@ZanCorDX ZanCorDX marked this pull request as ready for review July 15, 2025 14:12
@ZanCorDX ZanCorDX requested review from dvush and metachris as code owners July 15, 2025 14:12
@ZanCorDX ZanCorDX merged commit c5d1445 into main Jul 15, 2025
1 check passed
@ZanCorDX ZanCorDX deleted the new-competition-bid-source branch July 15, 2025 14:37
ZanCorDX added a commit that referenced this pull request Jul 17, 2025
@ZanCorDX
Revert "New competition bid source (#102)"
9cd4878 
This reverts commit c5d1445.
ZanCorDX added a commit that referenced this pull request Jul 17, 2025
@ZanCorDX
Revert new competition bid source (#104)
8fe8c4c 
* Revert "New competition bid source (#102)"

This reverts commit c5d1445.

* dep

* clippy
@ZanCorDX ZanCorDX restored the new-competition-bid-source branch July 17, 2025 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dvush dvush Awaiting requested review from dvush dvush is a code owner

@metachris metachris Awaiting requested review from metachris metachris is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ZanCorDX