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

Introduce dedicated publish workflow #98

Merged
merged 1 commit into from
Aug 28, 2024

Conversation

d-e-s-o
Copy link
Contributor

@d-e-s-o d-e-s-o commented Aug 26, 2024

Introduce a dedicated workflow for publishing the crate by push of a button. This is a much nicer experience than having to push a tag, in my opinion, and there is no longer a need for mismatch check. Instead of the user having to create the tag, let GitHub Actions do it for us. Security-wise this reversal shouldn't matter: it's just meta-data attached to a commit, which we can easily verify that it hasn't changed. Because tags did not seem to be signed in past, we are not loosing anything there either by having a some piece of infrastructure do it.

@d-e-s-o
Copy link
Contributor Author

d-e-s-o commented Aug 26, 2024

@danielocfb
Copy link
Collaborator

@alexforster can you take a look, please? Does it make sense to you?

Introduce a dedicated workflow for publishing the crate by push of a
button. This is a much nicer experience than having to push a tag, in my
opinion, and there is no longer a need for mismatch check. Instead of
the user having to create the tag, let GitHub Actions do it for us.
Security-wise this reversal shouldn't matter: it's just meta-data
attached to a commit, which we can easily verify that it hasn't changed.
Because tags did not seem to be signed in past, we are not loosing
anything there either by having a some piece of infrastructure do it.

Signed-off-by: Daniel Müller <[email protected]>
Copy link
Member

@anakryiko anakryiko left a comment

Choose a reason for hiding this comment

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

LGTM

@danielocfb
Copy link
Collaborator

Thanks for the review. Going ahead with the merge to not block a new release for too long.

@danielocfb danielocfb merged commit 1753345 into libbpf:master Aug 28, 2024
10 checks passed
@danielocfb danielocfb deleted the topic/publish branch August 28, 2024 16:31
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