Skip to content

ci: Fix docker build CI on release#141

Merged
toby-coleman merged 1 commit into
mainfrom
ci/fix-docker-build-main
May 6, 2025
Merged

ci: Fix docker build CI on release#141
toby-coleman merged 1 commit into
mainfrom
ci/fix-docker-build-main

Conversation

@toby-coleman
Copy link
Copy Markdown
Contributor

Summary

The Docker build CI stage failed on the last release - see here. This update fixes the CI.

Changes

  • Filter using the --merged as well as --contains. Otherwise when run on refs/heads/main this command will return other branches, e.g. from open PRs, that also contain main.

@gemini-code-assist
Copy link
Copy Markdown
Contributor

Note

The files in this pull request are not supported by Gemini Code Assist.

@codecov
Copy link
Copy Markdown

codecov Bot commented May 5, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@toby-coleman toby-coleman merged commit 87cdffe into main May 6, 2025
9 checks passed
@toby-coleman toby-coleman deleted the ci/fix-docker-build-main branch May 6, 2025 18:54
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.

1 participant