build: use docker for building instead of the host #1

Merged

Maurice merged 2 commits from fix-dockerfile into main 2023-08-05 10:38:28 +00:00

Conversation 0 Commits 2 Files Changed 2 +21 -5

2 Commits

Author	SHA1	Message	Date
Job79	de4ec24d83	docs: add documentation for building container	2023-07-28 10:16:16 +02:00
Job79	f893f1967a	build: use docker for building instead of the host	2023-07-28 10:16:11 +02:00