Skip to content
Snippets Groups Projects

Merge branch 'master' of https://gitlab.kwant-project.org/works-on-my-machine/zesje into develop

Passed
created pipeline for commit 9df3d26b
, finished
For fix/simplify-pregrader
5 jobs 3 minutes 1 second, queued for 1 seconds