Skip to content
This repository was archived by the owner on Jan 9, 2025. It is now read-only.

fix: skipfile #1142

Merged
merged 1 commit into from
May 13, 2024
Merged

fix: skipfile #1142

merged 1 commit into from
May 13, 2024

Conversation

enitrat
Copy link
Collaborator

@enitrat enitrat commented May 13, 2024

Time spent on this PR:

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

Resolves #

What is the new behavior?


This change is Reviewable

@enitrat enitrat merged commit a0c8b8c into main May 13, 2024
3 checks passed
@enitrat enitrat deleted the fix/skipfile branch May 13, 2024 14:22
matthieuauger pushed a commit to matthieuauger/kakarot that referenced this pull request Nov 9, 2024
* Add guideline to run a node

* Update README.md

Co-authored-by: greged93 <82421016+greged93@users.noreply.github.com>

---------

Co-authored-by: greged93 <82421016+greged93@users.noreply.github.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant