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

Fix AePPL copyright notice #6807

Merged
merged 1 commit into from
Jun 30, 2023
Merged

Conversation

maresb
Copy link
Contributor

@maresb maresb commented Jun 30, 2023

What is this PR about?
This corrects what seems to have been a search/replace mistake

Checklist

Major / Breaking Changes

  • ...

New features

  • ...

Bugfixes

  • Fix incorrect attribution in AePPL copyright notice

Documentation

  • ...

Maintenance

  • ...

📚 Documentation preview 📚: https://pymc--6807.org.readthedocs.build/en/6807/

This seems to be a search/replace mistake
@codecov
Copy link

codecov bot commented Jun 30, 2023

Codecov Report

Merging #6807 (f9e432a) into main (413af04) will decrease coverage by 50.96%.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@             Coverage Diff             @@
##             main    #6807       +/-   ##
===========================================
- Coverage   91.93%   40.98%   -50.96%     
===========================================
  Files          95       95               
  Lines       16226    16224        -2     
===========================================
- Hits        14917     6649     -8268     
- Misses       1309     9575     +8266     
Impacted Files Coverage Δ
pymc/distributions/continuous.py 47.90% <ø> (-49.91%) ⬇️

... and 76 files with indirect coverage changes

@ricardoV94 ricardoV94 added the no releasenotes Skipped in automatic release notes generation label Jun 30, 2023
@ricardoV94 ricardoV94 merged commit eb916f0 into pymc-devs:main Jun 30, 2023
20 of 21 checks passed
@ricardoV94
Copy link
Member

Thanks @maresb!

@maresb maresb deleted the fix-aeppl-copyright branch June 30, 2023 08:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no releasenotes Skipped in automatic release notes generation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants