youben11 f88cd95eaf ci: update df image to use latest hpx ...

also removes some old copies in dockerfile that were meant to reduce
image size. However, as many entities need to be copied now, we might
need to have a better approach for this (using make install maybe), and
copy everything that is necessary into the right place.

2022-09-13 15:18:15 +01:00

..

workflows

ci: update df image to use latest hpx

2022-09-13 15:18:15 +01:00