Skip to content

add progress bar for download pdf#8016

Merged
mscolnick merged 2 commits intomainfrom
sham/add-progress-bar
Jan 28, 2026
Merged

add progress bar for download pdf#8016
mscolnick merged 2 commits intomainfrom
sham/add-progress-bar

Conversation

@Light2Dark
Copy link
Collaborator

@Light2Dark Light2Dark commented Jan 28, 2026

📝 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

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

@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

🚀 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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants