Skip to content

Sync common files from infra repository#75

Merged
jeckersb merged 1 commit into
mainfrom
sync-common-files
May 11, 2026
Merged

Sync common files from infra repository#75
jeckersb merged 1 commit into
mainfrom
sync-common-files

Conversation

@bootc-bot

@bootc-bot bootc-bot Bot commented May 11, 2026

Copy link
Copy Markdown
Contributor

Created by GitHub workflow (source).

This PR synchronizes common files from the infra repository.

Synchronized from bootc-dev/infra@ff66c1c.

Synchronized from bootc-dev/infra@ff66c1c.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@bootc-bot bootc-bot Bot force-pushed the sync-common-files branch from f02efa1 to 0b2b8eb Compare May 11, 2026 04:53
@jeckersb jeckersb merged commit 63f3256 into main May 11, 2026
4 checks passed
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