Skip to content
Snippets Groups Projects
user avatar
Jö Fahlke authored
This basically replaces the old rudimentary CI by the one from PACXX-runtime,
with minimal changes.

Adresses: https://gitlab.dune-project.org/joe/pacxx-docker/issues/20,
https://gitlab.dune-project.org/joe/pacxx-docker/issues/23,
https://gitlab.dune-project.org/joe/pacxx-docker/issues/24
fafaeac0
History
Name Last commit Last update