Skip to content

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 Jun 20, 2023
@github-actions github-actions bot force-pushed the maint/update_operators_for_241_on_master branch from 767f8b5 to c796b47 Compare June 23, 2023 09:19
@github-actions github-actions bot force-pushed the maint/update_operators_for_241_on_master branch from c796b47 to 50d357c Compare June 28, 2023 12:21
@PProfizi PProfizi closed this Jun 28, 2023
@PProfizi PProfizi reopened this Jun 28, 2023
@codecov
Copy link

codecov bot commented Jun 28, 2023

Codecov Report

Merging #1000 (3551d8d) into master (ca18f28) will increase coverage by 0.04%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1000      +/-   ##
==========================================
+ Coverage   88.64%   88.69%   +0.04%     
==========================================
  Files          76       76              
  Lines        8605     8605              
==========================================
+ Hits         7628     7632       +4     
+ Misses        977      973       -4     

@rafacanton rafacanton merged commit 8b95c9f into master Jun 28, 2023
@rafacanton rafacanton deleted the maint/update_operators_for_241_on_master branch June 28, 2023 16:08
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