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

Build arm images on demand #676

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Build arm images on demand #676

wants to merge 1 commit into from

Conversation

Taepper
Copy link
Collaborator

@Taepper Taepper commented Jan 14, 2025

Summary

When testing builds, it can be beneficial, to also have the arm images ready to test in PRs. This is not possible currently, because we only build these images on merges main, as github's arm emulation is quite time-consuming. This PR adds the possibility to request an ARM image by adding the label arm-image to the PR

PR Checklist

- [ ] All necessary documentation has been adapted or there is an issue to do so.
- [ ] The implemented feature is covered by an appropriate test.

Copy link
Contributor

There is no change in the changelog. This PR will not produce a new releasable version.

@Taepper Taepper force-pushed the ondemand-arm-image branch from 3731152 to ea95fc6 Compare January 15, 2025 08:34
@Taepper Taepper marked this pull request as draft January 15, 2025 10:23
@Taepper Taepper force-pushed the ondemand-arm-image branch from 979db93 to 1907cc9 Compare January 15, 2025 19:28
@Taepper Taepper force-pushed the ondemand-arm-image branch from 3efd18d to 342bf07 Compare January 21, 2025 11:02
@Taepper Taepper marked this pull request as ready for review January 22, 2025 18:45
@Taepper Taepper force-pushed the ondemand-arm-image branch from f7336c8 to 37184d4 Compare January 22, 2025 18:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant