-
Notifications
You must be signed in to change notification settings - Fork 40
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
Pluto support #90
Comments
What's the status on this? I'm still getting the error:
I saw there was a PR that was not merged. If someone is able to advise on how to fix I can submit another PR. |
I've fixed it (using the same changes as in the previous pr) and am just using a dev'd version of the package for now. What was the reason the pr was not merged? |
Hello, I am not sure. Somebody closed that PR, it wasn't me. Usually a PR has a bit more explanation on what is going on, and there should be some evidence that the normal tests are passed. Probably automatic testing is broken at the moment, this package needs to move from travis to a github action. |
Hey! Ok. I can open up another PR with the fixes and a bit more explanation. |
opened #96 to address this. Let me know if I can do anything else. |
Thanks for merging #96 :) Do you know roughly when the next release will be? |
Sorry, I normally release immediately after a PR that passes the test. There should be 0.3.7 out soon. |
I am not sure it succeeded, but it might be that version 0.3.6 is available
now.
It turned out I already had the new testing infrastructure configured.
…On Wed, Mar 9, 2022 at 11:53 AM Pavan Chaggar ***@***.***> wrote:
Thanks for merging #96
<#96> :) Do you
know roughly when the next release will be?
—
Reply to this email directly, view it on GitHub
<#90 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABJ6DV4AYRG44D37T4T2H6TU7B7K3ANCNFSM432R6N5Q>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.
You are receiving this because you commented.Message ID:
***@***.***>
--
David van Leeuwen (다빛, 大卫, دافد)
|
Hi!
It looks like this package uses an internal API, making it incompatible with https://github.com/fonsp/Pluto.jl and other custom logging environemnts.
See fonsp/Pluto.jl#1121
-fons
The text was updated successfully, but these errors were encountered: