Skip to content
This repository was archived by the owner on Jul 22, 2024. It is now read-only.

Allow redeclare class #769

Merged
merged 5 commits into from
Jul 5, 2023
Merged

Allow redeclare class #769

merged 5 commits into from
Jul 5, 2023

Conversation

matias-gonz
Copy link
Contributor

Allow redeclare class

Description

closes #759

@matias-gonz matias-gonz self-assigned this Jul 5, 2023
@codecov-commenter
Copy link

codecov-commenter commented Jul 5, 2023

Codecov Report

Merging #769 (d22a7d7) into main (384f459) will increase coverage by 0.01%.
The diff coverage is 100.00%.

❗ Current head d22a7d7 differs from pull request most recent head 5a20021. Consider uploading reports for the commit 5a20021 to get more accurate results

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #769      +/-   ##
==========================================
+ Coverage   92.50%   92.51%   +0.01%     
==========================================
  Files          51       50       -1     
  Lines       12098    11891     -207     
==========================================
- Hits        11191    11001     -190     
+ Misses        907      890      -17     
Impacted Files Coverage Δ
src/transaction/declare.rs 98.89% <100.00%> (+0.26%) ⬆️

... and 9 files with indirect coverage changes

@matias-gonz matias-gonz added the bug Something isn't working label Jul 5, 2023
@Oppen Oppen added this pull request to the merge queue Jul 5, 2023
Merged via the queue into main with commit 29dd9e8 Jul 5, 2023
@matias-gonz matias-gonz deleted the allow_redeclare branch July 6, 2023 12:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Semantic inconsistency with sequencer when re-declaring a class
5 participants