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

Cache all external demos #242

Open

Deleplace opened this issue Nov 26, 2023 · 0 comments

Labels

feature request

Owner

Deleplace commented Nov 26, 2023

Playgrounds come and go.

It is hazardous to rely on them on the long term (se e.g. #228)

Please try to scrap the source codes of the demos and keep the safe somewhere in our own database.

Relevant data:

program source code
output (stdout/stderr)
date of retrieval

Deleplace added the feature request label

This was referenced Nov 26, 2023

codepad loses demos #228

Closed

tryerl loses demos #227

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment