Skip to content

chore: Backport #18543 to op-deployer v4#18545

Merged
janjakubnanista merged 1 commit intoproposal/op-contracts/v4.1.0from
jan/attach-workspace-in-docker-build-v4
Dec 8, 2025
Merged

chore: Backport #18543 to op-deployer v4#18545
janjakubnanista merged 1 commit intoproposal/op-contracts/v4.1.0from
jan/attach-workspace-in-docker-build-v4

Conversation

@janjakubnanista
Copy link
Copy Markdown
Contributor

Description

Backports #18543 to op-deployer v4

@janjakubnanista janjakubnanista merged commit 21a33f0 into proposal/op-contracts/v4.1.0 Dec 8, 2025
75 checks passed
@janjakubnanista janjakubnanista deleted the jan/attach-workspace-in-docker-build-v4 branch December 8, 2025 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants