Skip to content

ci: Upgrade ci-builder to Debian 11#3189

Merged
mergify[bot] merged 1 commit intodevelopfrom
feat/upgrade-ci-builder
Aug 8, 2022
Merged

ci: Upgrade ci-builder to Debian 11#3189
mergify[bot] merged 1 commit intodevelopfrom
feat/upgrade-ci-builder

Conversation

@mslipper
Copy link
Contributor

@mslipper mslipper commented Aug 8, 2022

No description provided.

@changeset-bot
Copy link

changeset-bot bot commented Aug 8, 2022

🦋 Changeset detected

Latest commit: a1de788

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
@eth-optimism/ci-builder Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@mergify
Copy link
Contributor

mergify bot commented Aug 8, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify mergify bot merged commit c666fed into develop Aug 8, 2022
@mergify mergify bot deleted the feat/upgrade-ci-builder branch August 8, 2022 15:59
@mergify
Copy link
Contributor

mergify bot commented Aug 8, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@tynes
Copy link
Contributor

tynes commented Aug 8, 2022

Will need to trigger a release after this is merged

@mergify mergify bot removed the on-merge-train label Aug 8, 2022
This was referenced Aug 8, 2022
roninjin10 pushed a commit that referenced this pull request Aug 26, 2022
maurelian pushed a commit that referenced this pull request Sep 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-ops Area: ops

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants