Hein Meling

Results 169 issues of Hein Meling

Part of this could also be to create a video for students and other documentation.

doc

It is not clear how to use this, but I'm pushing it as is for now. This is related to #553. And the issue on benchmarking in dat320/lab6; see the...

The `assignments.readTestsRepositoryContent` function parses the `criteria.json` file. However, this parsing is currently not tested. We should add a `lab4/criteria.json` and corresponding `lab4/assignment.yml` file to `assignments/testdata/tests` and add a test that...

cleanup

Running `go test -json` can provide more details that the frontend can show to the user. To simplify displaying these details, we should add a field to the `Score` object....

frontend
kit

This provides a first draft of a Cue-based assignment description format that can replace assignment.yml files and provide more robust checks.

We have various component structs on the backend with overlapping content: ```go type GitHubWebHook struct { logger *zap.SugaredLogger db database.Database runner ci.Runner secret string } ``` ```go type AutograderService struct...

future
cleanup

Create a new CLI tool for various tasks related to managing QuickFeed repositories: - support making readme files for labs - support creating issues for tasks to be completed by...

spec
future
scm

This applies to the local server. This may require implementation of tackling `-HUP` signal on the server, and corresponding restart logging.

uis

We do a fair bit of logging for each gRPC call, in particular errors. However, to ensure that we don't forget to log in certain places we should add a...

enhancement
cleanup

The current format is not ideal. It has fields that are not entirely intuitive and fields that can be combined, e.g., into a range. Further, we could use a different...

cleanup
already-fixed?