switched to prebuilt docker image #198

Merged
muellerr merged 4 commits from mohr/docker into main 2023-06-11 13:36:28 +02:00
Owner

As with the other docker using projects, do not rebuild docker everytime CI runs.

As with the other docker using projects, do not rebuild docker everytime CI runs.
mohr added 1 commit 2023-06-11 11:57:18 +02:00
mohr requested review from muellerr 2023-06-11 11:57:32 +02:00
mohr added 1 commit 2023-06-11 12:01:28 +02:00
mohr added 1 commit 2023-06-11 12:12:49 +02:00
mohr added 1 commit 2023-06-11 12:14:54 +02:00
muellerr merged commit eae0120643 into main 2023-06-11 13:36:28 +02:00
muellerr deleted branch mohr/docker 2023-06-11 13:36:28 +02:00
Sign in to join this conversation.
No description provided.