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

dev: update skipfile #1440

Merged
merged 1 commit into from
Sep 24, 2024
Merged

dev: update skipfile #1440

merged 1 commit into from
Sep 24, 2024

Conversation

enitrat
Copy link
Collaborator

@enitrat enitrat commented Sep 24, 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?

  • Update skipfile with latest changes.

This change is Reviewable

Copy link

codecov bot commented Sep 24, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 61.8%. Comparing base (414e4da) to head (9386d37).
Report is 1 commits behind head on main.

Additional details and impacted files
@@          Coverage Diff          @@
##            main   #1440   +/-   ##
=====================================
  Coverage   61.8%   61.8%           
=====================================
  Files         44      44           
  Lines       8169    8169           
=====================================
  Hits        5056    5056           
  Misses      3113    3113           
Flag Coverage Δ
61.8% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@enitrat enitrat force-pushed the dev/update-skipfile branch from 8a658aa to 9386d37 Compare September 24, 2024 14:22
@enitrat enitrat merged commit 45e5f7c into main Sep 24, 2024
10 checks passed
@enitrat enitrat deleted the dev/update-skipfile branch September 24, 2024 15:34
matthieuauger pushed a commit to matthieuauger/kakarot that referenced this pull request Nov 9, 2024
* fix release workflow

* remove release from pull request
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.

2 participants