Skip to content

ci: bump Boulder to release-2022-12-19#986

Merged
buchdag merged 1 commit intomainfrom
boulder-2022-12-19
Dec 26, 2022
Merged

ci: bump Boulder to release-2022-12-19#986
buchdag merged 1 commit intomainfrom
boulder-2022-12-19

Conversation

@buchdag
Copy link
Copy Markdown
Member

@buchdag buchdag commented Dec 26, 2022

No description provided.

@buchdag buchdag added the type/ci PR that change the CI configuration files and scripts label Dec 26, 2022
@buchdag buchdag merged commit f293c8a into main Dec 26, 2022
@buchdag buchdag deleted the boulder-2022-12-19 branch December 26, 2022 21:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type/ci PR that change the CI configuration files and scripts

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant