Skip to content

provider: update deps#297

Merged
tynes merged 1 commit intomasterfrom
provider-deps
Sep 29, 2020
Merged

provider: update deps#297
tynes merged 1 commit intomasterfrom
provider-deps

Conversation

@tynes
Copy link
Copy Markdown
Contributor

@tynes tynes commented Sep 29, 2020

Description

Update the ovm tools used as deps for the provider

Metadata

Fixes

  • Fixes # [Link to Issue]

Contributing Agreement

Copy link
Copy Markdown
Contributor

@karlfloersch karlfloersch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect!

@tynes tynes merged commit f9dbfc0 into master Sep 29, 2020
@tynes tynes deleted the provider-deps branch September 29, 2020 21:34
snario pushed a commit that referenced this pull request Apr 14, 2021
Inphi pushed a commit that referenced this pull request Aug 16, 2024
FPACOPS2 deployed a new AnchorStateRegistry proxy when the actual
script needed to just deploy a new implementation.
samlaf pushed a commit to samlaf/optimism that referenced this pull request Aug 20, 2024
FPACOPS2 deployed a new AnchorStateRegistry proxy when the actual
script needed to just deploy a new implementation.
OptimismBot pushed a commit that referenced this pull request Mar 4, 2025
theochap pushed a commit that referenced this pull request Dec 10, 2025
Zena-park pushed a commit to tokamak-network/optimism that referenced this pull request Dec 30, 2025
We advise appropriate error declarations to be introduced for each instance, increasing the code's standardization.
theochap pushed a commit that referenced this pull request Jan 15, 2026
### Description

Adds a `Justfile` target that runs all examples and executes `just
examples` in ci. Ensures examples succeed on pull request.
emhane added a commit that referenced this pull request Feb 3, 2026
Closes #297

---------

Co-authored-by: Emilia Hane <elsaemiliaevahane@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
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.

2 participants