Skip to content

Sync common files from infra repository#34

Merged
jeckersb merged 1 commit intomainfrom
sync-common-files
Mar 17, 2026
Merged

Sync common files from infra repository#34
jeckersb merged 1 commit intomainfrom
sync-common-files

Conversation

@bootc-bot
Copy link
Contributor

@bootc-bot bootc-bot bot commented Mar 17, 2026

Created by GitHub workflow (source).

This PR synchronizes common files from the infra repository.

Synchronized from bootc-dev/infra@56e4f61.

Synchronized from bootc-dev/infra@56e4f61.

Signed-off-by: bootc-dev Bot <bot@bootc.dev>
@bootc-bot bootc-bot bot force-pushed the sync-common-files branch from 23fc7e5 to 5fcf3e0 Compare March 17, 2026 15:23
@jeckersb jeckersb merged commit d536351 into main Mar 17, 2026
6 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