-
Notifications
You must be signed in to change notification settings - Fork 35
Add Download Page #71
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
Conversation
|
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. PR Reviewer Guide 🔍
|
|
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. PR Code Suggestions ✨
|
|
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. CI Failure Feedback 🧐
✨ CI feedback usage guide:The CI feedback tool (
In addition to being automatically triggered, the tool can also be invoked manually by commenting on a PR: where Configuration options
See more information about the |
|
CI is failing since |
|
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. CI Failure Feedback 🧐
✨ CI feedback usage guide:The CI feedback tool (
In addition to being automatically triggered, the tool can also be invoked manually by commenting on a PR: where Configuration options
See more information about the |
Add Download Page
User description
This PR adds a download page to give the user the option to download the results generated as a zip file.
Fixes #53.
Developers simply have to specify a folder in the workspace, where all output is saved. Each run should be saved in a different subfolder. For instance, consider these folder locations for
output_folder="output_folder":workspace/output_folder/run_1/workspace/output_folder/run_2/workspace/output_folder/run_3/This would result in three download options:
run_1,run_2, andrun_3.Downloads are prepared on demand. The zip file is only created when the
Prepare Downloadbutton is clicked.In
FLASHViewerit looks like this:PR Type
Enhancement
Description
Changes walkthrough 📝
16_Download_Section.py
Add download page for exporting results as zip filespages/16_Download_Section.py
download.