Skip to content
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

Resource endpoint error message after archive #452

Open
winstan opened this issue Mar 17, 2023 · 1 comment
Open

Resource endpoint error message after archive #452

winstan opened this issue Mar 17, 2023 · 1 comment

Comments

@winstan
Copy link
Member

winstan commented Mar 17, 2023

When a student visits a resource endpoint after their run has been archived, the error message is:
"ENOENT: no such file or directory, lstat '/output/runs/UUID-deliv/student/somedir/index.html'"

It would be informative for students to add "Note: Your run may have been archived; by default only 7 days of runs are preserved."

@steven-wolfman
Copy link

We could also give a brief "how to get a new report" like:

For assessments that are still open: You can get a fresh report from the bot as usual on your latest commit. If you need access to a report on an old commit, try: (1) make a branch that starts at that commit, (2) make a trivial new commit on that branch, and (3) call the bot on that commit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants