Skip to content

Build PGI image live

Arndt, Daniel requested to merge github/fork/masterleinad/build_pgi_image_live into master

Created by: masterleinad

Depends on #93. The first commit summarizes all the changes in #93 and should vanish as soon as we rebase. The actual changes are in the second commit where we build the PGI image live instead of reloading a prebuilt one (analogously to what we do for the other CI configurations).

Merge request reports