Skip to content

ci: replace DOCKER_BUILD_NO_SUMMARY#9383

Merged
NGPixel merged 1 commit intoietf-tools:mainfrom
jennifer-richards:deprecated-summary-flag
Aug 19, 2025
Merged

ci: replace DOCKER_BUILD_NO_SUMMARY#9383
NGPixel merged 1 commit intoietf-tools:mainfrom
jennifer-richards:deprecated-summary-flag

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

Option is deprecated; replace with DOCKER_BUILD_SUMMARY: false

Option is deprecated; replace with DOCKER_BUILD_SUMMARY: false
@NGPixel NGPixel merged commit 1e451fb into ietf-tools:main Aug 19, 2025
2 checks passed
@jennifer-richards jennifer-richards deleted the deprecated-summary-flag branch August 19, 2025 21:33
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Aug 23, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants