Skip to content

Build PGI image live

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

Loading