Skip to content

add progress bar for download pdf #8016

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.

Sign up for GitHub

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

Jump to bottom
Merged
mscolnick merged 2 commits into from
Jan 28, 2026
Merged

add progress bar for download pdf #8016

mscolnick merged 2 commits into from
Jan 28, 2026

Conversation

@Light2Dark
Copy link
Contributor

@Light2Dark Light2Dark commented Jan 28, 2026 •
edited
Loading

📝 Summary

Originally implemented here #8008. Brought over. Thanks @mscolnick for donig this!

🔍 Description of Changes

📋 Checklist

  • I have read the contributor guidelines.
  • For large changes, or changes that affect the public API: this change was discussed or approved through an issue, on Discord, or the community discussions (Please provide a link if applicable).
  • Tests have been added for the changes made.
  • Documentation has been updated where applicable, including docstrings for API changes.
  • Pull request title is a good summary of the changes - it will be used in the release notes.
@Light2Dark Light2Dark requested a review from manzt as a code owner January 28, 2026 07:54
@vercel
Copy link

vercel bot commented Jan 28, 2026 •
edited
Loading

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Review Updated (UTC)
marimo-docs Ready Ready Preview, Comment Jan 28, 2026 7:57am

Request Review
@Light2Dark Light2Dark added the enhancement New feature or request label Jan 28, 2026
@mscolnick mscolnick merged commit 0330b96 into main Jan 28, 2026
34 of 36 checks passed
@mscolnick mscolnick deleted the sham/add-progress-bar branch January 28, 2026 14:24
@github-actions
Copy link

github-actions bot commented Jan 28, 2026

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.19.7-dev25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

3 participants

@Light2Dark @mscolnick