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

Mark istrans as inactive #658

Merged
merged 4 commits into from
Sep 12, 2024
Merged

Mark istrans as inactive #658

merged 4 commits into from
Sep 12, 2024

Conversation

wsmoses
Copy link
Contributor

@wsmoses wsmoses commented Sep 11, 2024

Purely a performance optimization

@coveralls
Copy link

coveralls commented Sep 11, 2024

Pull Request Test Coverage Report for Build 10827927966

Details

  • 0 of 1 (0.0%) changed or added relevant line in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.02%) to 77.486%

Changes Missing Coverage Covered Lines Changed/Added Lines %
ext/DynamicPPLEnzymeCoreExt.jl 0 1 0.0%
Totals Coverage Status
Change from base Build 10701838580: -0.02%
Covered Lines: 2712
Relevant Lines: 3500

💛 - Coveralls

ext/DynamicPPLEnzymeCoreExt.jl Outdated Show resolved Hide resolved
@wsmoses
Copy link
Contributor Author

wsmoses commented Sep 11, 2024 via email

Copy link
Member

@mhauru mhauru left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @wsmoses!

@mhauru mhauru enabled auto-merge September 12, 2024 09:41
@mhauru mhauru added this pull request to the merge queue Sep 12, 2024
Merged via the queue into TuringLang:master with commit ad88334 Sep 12, 2024
10 of 11 checks passed
@wsmoses
Copy link
Contributor Author

wsmoses commented Sep 12, 2024 via email

@mhauru
Copy link
Member

mhauru commented Sep 12, 2024

Looking into it. A major PR (#575) has been merged into master since the last release, will probably rather make sure that everything is in order with that, and make a breaking release that would include this too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants