"ci-main.yml" did not exist on "fafaeac063575fdf647676bdf51753fcfa7d2ffb"
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
Name | Last commit | Last update |
---|