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 ns_vs_diffeq fail #930

Closed
wants to merge 1 commit into from
Closed

Fix ns_vs_diffeq fail #930

wants to merge 1 commit into from

Conversation

KnutAM
Copy link
Member

@KnutAM KnutAM commented May 21, 2024

Opened this to show the failure that happens when I just update the docs/Manifest.toml.

I'm not sure if this is related to existing work on this example, so this PR can be considered an issue. But would be great if there is an easy fix, since this prevents updating the docs/Manifest... Feel free to just work on this branch or make a separate!

Copy link

codecov bot commented May 21, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.86%. Comparing base (c015df0) to head (1e8bd5c).

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #930   +/-   ##
=======================================
  Coverage   93.86%   93.86%           
=======================================
  Files          36       36           
  Lines        5310     5310           
=======================================
  Hits         4984     4984           
  Misses        326      326           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@koehlerson
Copy link
Member

is this for #917 ?

@KnutAM
Copy link
Member Author

KnutAM commented May 21, 2024

Too fast answer by @koehlerson :), wanted a pure CI run before filling the details

@termi-official
Copy link
Member

The failure is basically #508 surfacing, but now with an error message :) Before it was just a silent failure.

@KnutAM
Copy link
Member Author

KnutAM commented May 21, 2024

Then closing this as it sounds like it should be fixed soon!

@KnutAM KnutAM closed this May 21, 2024
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.

None yet

3 participants