Skip to content
Snippets Groups Projects

dg1d: Implement `Workspace` (https://git.tpi.uni-jena.de/dg/dg1d.jl/-/merge_requests/219)

Passed
Florian Atteneder created pipeline for commit 73e636ee
, finished
For main
2 jobs 2 minutes 0 seconds, queued for 376 seconds