Two problems has been spotted:
- The latest rebuild (of the same Dockerfile) results in non-working environment (e.g. yosys is missing).
It has been reported here by @3mdeb-karolzmyslowski
- As of 07/06/2023, the same unchanged Dockerfile does not build anymore. Reported here by @krystian-hebel