Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use pce 2.0.6 #198

Merged
merged 12 commits into from
Jan 18, 2024
Merged

Use pce 2.0.6 #198

merged 12 commits into from
Jan 18, 2024

Conversation

sajith
Copy link
Member

@sajith sajith commented Jan 9, 2024 •
edited
Loading

Some small changes to use pce 2.0.5 2.0.6, which was just tagged.

@sajith sajith self-assigned this Jan 10, 2024
@coveralls
Copy link

coveralls commented Jan 10, 2024 •
edited
Loading

Pull Request Test Coverage Report for Build 7495284850

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.009%) to 37.778%
Totals Coverage Status
Change from base Build 6239647665: -0.009%
Covered Lines: 517
Relevant Lines: 1225
💛 - Coveralls

@sajith sajith changed the title Use pce 2.0.5 Use pce 2.0.6 Jan 18, 2024
@sajith sajith merged commit 9829074 into main Jan 18, 2024
9 checks passed
@sajith sajith deleted the use-pce-2.0.5 branch January 18, 2024 14:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@YufengXin YufengXin YufengXin approved these changes

@congwang09 congwang09 Awaiting requested review from congwang09

Assignees

@sajith sajith

Labels
None yet
Projects
@sajith's project board
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@sajith @coveralls @YufengXin