-
Notifications
You must be signed in to change notification settings - Fork 456
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
New version: PlutoTeachingTools v0.2.11 #82438
New version: PlutoTeachingTools v0.2.11 #82438
Conversation
JuliaRegistrator
commented
Apr 27, 2023
•
edited
Loading
edited
- Registering package: PlutoTeachingTools
- Repository: https://github.com/JuliaPluto/PlutoTeachingTools.jl
- Created by: @eford
- Version: v0.2.11
- Commit: 7125298d553dad0f6ba5f9fccf0dd19d700739e6
- Reviewed by: @eford
- Reference: JuliaPluto/PlutoTeachingTools.jl@7125298#commitcomment-110840768
- Description: Functions useful when using Pluto in teaching.
- Release notes:
UUID: 661c6b06-c737-4d37-b85c-46df65de6f69 Repo: https://github.com/JuliaPluto/PlutoTeachingTools.jl.git Tree: 88222661708df26242d0bfb9237d023557d11718 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
Your If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text |
3b2e926
to
43fd5de
Compare
[noblock] abort |
[noblock] oh, whoops. I do want this to go through. I forgot that somehow a second trigger would get added to the same issue instead of creating a new one. |
[noblock] @eford You can edit you comments to include |
[noblock] Ok, I tried that and will see if it now goes through. |