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

feat: migrate to Mariner containers #341

Merged
merged 1 commit into from
May 6, 2024
Merged

feat: migrate to Mariner containers #341

merged 1 commit into from
May 6, 2024

Conversation

rbtr
Copy link
Collaborator

@rbtr rbtr commented May 3, 2024

Description

Migrates the images from Ubuntu/Debian builder and Debian-distroless final image to Mariner for everything. Incidentally also moves from clang-14 to clang-16.

Checklist

  • I have read the contributing documentation.
  • I signed and signed-off the commits (git commit -S -s ...). See this documentation on signing commits.
  • I have correctly attributed the author(s) of the code.
  • I have tested the changes locally.
  • I have followed the project's style guidelines.
  • I have updated the documentation, if necessary.
  • I have added tests, if applicable.

@rbtr rbtr requested a review from a team as a code owner May 3, 2024 18:28
@rbtr rbtr force-pushed the fix/mcr branch 3 times, most recently from c726ae7 to be3bc11 Compare May 3, 2024 18:46
@rbtr rbtr self-assigned this May 3, 2024
@rbtr rbtr added type/enhancement New feature or request area/infra Test, Release, or CI Infrastructure priority/0 P0 scope/M Change is Medium labels May 3, 2024
@rbtr rbtr enabled auto-merge May 3, 2024 21:55
@rbtr
Copy link
Collaborator Author

rbtr commented May 3, 2024

validated by deploying ghcr.io/rbtr/retina/retina-agent@sha256:df460114dbc08be26db1988bb0ce631697563b073953e61cfdaaacf84c7aea5b from my fork, seems to function as before 🙂

Copy link
Contributor

@anubhabMajumdar anubhabMajumdar left a comment

Choose a reason for hiding this comment

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

Tested the change, looks good to me!

@rbtr rbtr added this pull request to the merge queue May 3, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 3, 2024
@rbtr rbtr added this pull request to the merge queue May 3, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 3, 2024
@rbtr rbtr added this pull request to the merge queue May 4, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 4, 2024
@rbtr rbtr added this pull request to the merge queue May 6, 2024
@rbtr rbtr removed this pull request from the merge queue due to a manual request May 6, 2024
@rbtr rbtr added this pull request to the merge queue May 6, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 6, 2024
@rbtr rbtr added this pull request to the merge queue May 6, 2024
Merged via the queue into microsoft:main with commit 5e74b9a May 6, 2024
22 checks passed
@rbtr rbtr deleted the fix/mcr branch May 6, 2024 21:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/infra Test, Release, or CI Infrastructure priority/0 P0 scope/M Change is Medium type/enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants