Skip to content
Snippets Groups Projects

A few random fixes (https://git.tpi.uni-jena.de/dg/dg1d.jl/-/merge_requests/218)

Passed
Florian Atteneder created pipeline for commit b30417fb
, finished
For main
2 jobs 10 minutes 56 seconds, queued for 0 seconds