Skip to content
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

Simplify Store implementation #600

Merged
merged 2 commits into from
Mar 3, 2025
Merged

Simplify Store implementation #600

merged 2 commits into from
Mar 3, 2025

Conversation

robin-nitrokey
Copy link
Member

@robin-nitrokey robin-nitrokey commented Feb 28, 2025

This patch updates trussed to use the simplified Store trait, see:

Depends on:

@nitrokey-ci
Copy link
Collaborator

nitrokey-ci commented Feb 28, 2025

No significant changes.

Insignifcant changes
metric value change
binary-size-nk3am 1,499,578 🔴 +270 (+0.02%)
binary-size-nk3am-test 1,873,398 -177 (-0.01%)
binary-size-nk3xn 537,360 🔴 +192 (+0.04%)
binary-size-nk3xn-test 537,416 🔴 +168 (+0.03%)
binary-size-nkpk 682,285 🔴 +209 (+0.03%)

@robin-nitrokey robin-nitrokey force-pushed the dyn-fs branch 2 times, most recently from 41e638b to e6f1cfe Compare March 3, 2025 14:41
@robin-nitrokey robin-nitrokey marked this pull request as ready for review March 3, 2025 14:41
This patch updates trussed to use the simplified Store trait.
This temporarily reverts #594
as the current implementation does not work with merge commits.
@robin-nitrokey robin-nitrokey merged commit 098b281 into main Mar 3, 2025
11 checks passed
@robin-nitrokey robin-nitrokey deleted the dyn-fs branch March 3, 2025 18:34
robin-nitrokey added a commit that referenced this pull request Mar 4, 2025
The old logic can lead to problems when the job runs for the first time
for a commit on main, e. g. after a merge with a merge commit (instead
of a fast-forward merge), as the "root" of the branch is equal to the
head and there are no cached metrics for the head.

This also reverts the temporary change to ignore errors curing comment
creation in #600 as
the cause should be fixed with this PR.
robin-nitrokey added a commit that referenced this pull request Mar 4, 2025
The old logic can lead to problems when the job runs for the first time
for a commit on main, e. g. after a merge with a merge commit (instead
of a fast-forward merge), as the "root" of the branch is equal to the
head and there are no cached metrics for the head.

This also reverts the temporary change to ignore errors during comment
creation in #600 as
the cause should be fixed with this PR.
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.

3 participants