Download button does not work in online editor[bug]:

[ananth521]

Program

None

Interface

Website (https://nand2tetris.github.io/web-ide)

Contact Details

No response

What happened?

The Downoad button in online editor does not work.

Additional Comments

No response

Do you want to try to fix this bug?

• [ ] I want to try to add this feature!

Code of Conduct

• [X] I agree to follow this project's Code of Conduct

[DavidSouther]

In chrome, I am able to download the project files:

You may be prompted to allow downloads, for instance, in Safari

after which the download completes.

It looks similar in Firefox:

[DavidSouther]

If you are able to reproduce this issue with steps or screenshots, please do re-open this ticket!