Skip to content

Drop Eq requirement on UploadableFile #93

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

Merged
merged 2 commits into from
Jul 18, 2025

Conversation

refi64
Copy link
Collaborator

@refi64 refi64 commented Jun 20, 2025

This isn't actually used anywhere in the runner code, and it can be rather annoying to comply with if you need to manually implement it due to holding non-Eq fields (e.g. storing a File inline on the struct).

@refi64 refi64 requested a review from sjoerdsimons June 20, 2025 21:41
@refi64 refi64 marked this pull request as ready for review June 20, 2025 21:41
@refi64
Copy link
Collaborator Author

refi64 commented Jun 20, 2025

sigh unrelated clippy lints, I already fixed that in the bump-deps PR

@sjoerdsimons sjoerdsimons force-pushed the wip/refi64/uploadable-file-no-eq branch from 81ccaed to 2ced5d7 Compare June 23, 2025 06:34
@refi64 refi64 force-pushed the wip/refi64/uploadable-file-no-eq branch 3 times, most recently from 17d11e2 to 7e2005a Compare June 25, 2025 21:05
@refi64
Copy link
Collaborator Author

refi64 commented Jun 25, 2025

(rebased on latest main)

@sjoerdsimons
Copy link
Collaborator

@refi64 with the latest update it seems reasonable to me; can you do a semver (prerealese) bump for Cargo as welland then it's ready to merge

@refi64
Copy link
Collaborator Author

refi64 commented Jul 17, 2025

@sjoerdsimons done

refi64 added 2 commits July 18, 2025 09:05
This isn't actually used anywhere in the runner code, and it can be
rather annoying to comply with if you need to manually implement it due
to holding non-Eq fields (e.g. storing a `File` inline on the struct).
@sjoerdsimons sjoerdsimons force-pushed the wip/refi64/uploadable-file-no-eq branch from 77e1e06 to 74a008c Compare July 18, 2025 07:05
@sjoerdsimons sjoerdsimons enabled auto-merge July 18, 2025 07:05
@sjoerdsimons sjoerdsimons added this pull request to the merge queue Jul 18, 2025
Merged via the queue into main with commit 3f4e694 Jul 18, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants