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.

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

Update Operators for DPF 241 on master #1026

Merged
merged 1 commit into from
Jul 12, 2023

Conversation

github-actions[bot]
Copy link
Contributor

An update of operators has been triggered either manually or by an update in the dpf-standalone repository.

@github-actions github-actions bot added the maintenance Repository structure maintenance label Jul 12, 2023
@PProfizi PProfizi closed this Jul 12, 2023
@PProfizi PProfizi reopened this Jul 12, 2023
@codecov
Copy link

codecov bot commented Jul 12, 2023

Codecov Report

Merging #1026 (dd270d6) into master (bc651fa) will increase coverage by 0.14%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1026      +/-   ##
==========================================
+ Coverage   88.56%   88.71%   +0.14%     
==========================================
  Files          77       77              
  Lines        8727     8727              
==========================================
+ Hits         7729     7742      +13     
+ Misses        998      985      -13     

@rafacanton rafacanton self-requested a review July 12, 2023 17:50
@rafacanton rafacanton merged commit e37485e into master Jul 12, 2023
31 checks passed
@rafacanton rafacanton deleted the maint/update_operators_for_241_on_master branch July 12, 2023 17:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Repository structure maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants