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.3 #193

Merged
merged 3 commits into from
Aug 22, 2023
Merged

Use pce 2.0.3 #193

merged 3 commits into from
Aug 22, 2023

Conversation

sajith
Copy link
Member

@sajith sajith commented Aug 22, 2023

Fixes #192.

@sajith sajith self-assigned this Aug 22, 2023
@coveralls
Copy link

Coverage Status

coverage: 35.919%. remained the same when pulling 6623e94 on 192.use-pce-2.0.3 into f35a8cd on main.

@sajith sajith merged commit a2d1239 into main Aug 22, 2023
5 checks passed
@sajith sajith deleted the 192.use-pce-2.0.3 branch August 22, 2023 15:48
@sajith sajith mentioned this pull request Aug 22, 2023
Closed
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.

Use pce 2.0.3
3 participants
@sajith @coveralls @YufengXin