Jakub Beránek
Jakub Beránek
That looks like a different error than the tier-check one? Not really sure what is going on. You can check out the lines printed in the log and play around...
`tier-check` was changed somewhat in https://github.com/rust-lang/rust/pull/145663/commits/65b7cde18ca7c331e323ace7b5f4f78b8cca4c33. From the error message that you posted, it looks like `tier-check` *was* built, but then it failed during execution. It failed to find rustc,...
> thread 'main' (417726) panicked at src/tools/tier-check/src/main.rs:16:10: rustc should run: Os { code: 2, kind: NotFound, message: "No such file or directory" } note: run with `RUST_BACKTRACE=1` environment variable to...
As long as it doesn't happen too often and isn't too annoying to fix, I would say that it is fine, yes. But it would be better to ask the...
You can r=me with or without the print (I agree that a print should be enough).
I'm afraid not, we can't give out Inbus API keys to students, I think :(
I would perhaps even forbid deleting and modifying comments on a test. Creating can still be useful to tell something to the teacher.
Thank you, the decorator looks reasonable. I'm not familiar with the use-case for uploading "test materials" though, I'll ask geordi about it.
I think you already talked about this with geordi, but there are some "edge cases" that we should consider, for example someone uploading a submit e.g. a week before a...
The problem with "during test" is that quite often tests last longer than the deadline :)