Skip to content

Comments

Rename OVM_L1MultiMessageRelayer.ts to OVM_L1MultiMessageRelayer.spec.ts#513

Merged
snario merged 1 commit intomasterfrom
smartcontracts-patch-1
Apr 20, 2021
Merged

Rename OVM_L1MultiMessageRelayer.ts to OVM_L1MultiMessageRelayer.spec.ts#513
snario merged 1 commit intomasterfrom
smartcontracts-patch-1

Conversation

@smartcontracts
Copy link
Contributor

Description
File was incorrectly named.

@changeset-bot
Copy link

changeset-bot bot commented Apr 20, 2021

⚠️ No Changeset found

Latest commit: 33cddaa

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

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

@snario snario merged commit 5dfd359 into master Apr 20, 2021
@snario snario deleted the smartcontracts-patch-1 branch April 20, 2021 19:20
bap2pecs pushed a commit to babylonlabs-io/optimism that referenced this pull request Jul 31, 2024
theochap pushed a commit that referenced this pull request Dec 10, 2025
theochap pushed a commit that referenced this pull request Jan 15, 2026
fixes #513

---------

Co-authored-by: Matthias Seitz <matthias.seitz@outlook.de>
theochap pushed a commit that referenced this pull request Jan 21, 2026
fixes #513

---------

Co-authored-by: Matthias Seitz <matthias.seitz@outlook.de>
emhane pushed a commit that referenced this pull request Feb 4, 2026
…513)

## Summary
- Remove `push` and `pull_request` triggers from coverage workflows
- Add `merge_group` trigger to run codecov only in merge queue
- Keep `workflow_dispatch` for manual triggering when needed

This reduces CI resource usage by running codecov only when necessary.

Closes #500
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