docker

Author	SHA1	Message	Date
Janis Hutz	e31db181c1	Update latex/README.md	2025-12-23 07:20:39 +00:00
Janis Hutz	b1adf8f61f	Update build script All checks were successful Create and publish container / build_container (push) Successful in 9s Details	2025-12-23 08:16:32 +01:00
Janis Hutz	9668af79f4	Update build script All checks were successful Create and publish container / build_container (push) Successful in 12s Details	2025-12-23 08:14:58 +01:00
Janis Hutz	58bee06709	Add git to container All checks were successful Create and publish container / build_container (push) Successful in 16s Details	2025-12-23 08:13:31 +01:00
Janis Hutz	a74595f968	Update entrypoint script logging All checks were successful Create and publish container / build_container (push) Successful in 16s Details	2025-12-23 08:00:22 +01:00
Janis Hutz	618438001a	Build script fixes All checks were successful Create and publish container / build_container (push) Successful in 11s Details	2025-12-23 07:53:53 +01:00
Janis Hutz	3608fe6687	Syntax fixes Some checks failed Create and publish container / build_container (push) Failing after 15s Details	2025-12-23 07:48:36 +01:00
Janis Hutz	c8d7251c08	Add helper install option All checks were successful Create and publish container / build_container (push) Successful in 15s Details	2025-12-23 07:47:36 +01:00
Janis Hutz	c74f1ed446	Build script fixes All checks were successful Create and publish container / build_container (push) Successful in 9s Details	2025-12-23 07:35:55 +01:00
Janis Hutz	44bee50856	Update build script Some checks failed Create and publish container / build_container (push) Failing after 10s Details	2025-12-23 07:33:06 +01:00
Janis Hutz	0b63418f14	Improve build script Some checks failed Create and publish container / build_container (push) Failing after 10s Details	2025-12-23 07:32:02 +01:00
Janis Hutz	ff0160935c	Update build script Some checks failed Create and publish container / build_container (push) Failing after 10s Details	2025-12-23 07:30:02 +01:00
Janis Hutz	1f3495bee7	Update build script All checks were successful Create and publish container / build_container (push) Successful in 17s Details	2025-12-23 07:24:35 +01:00
Janis Hutz	584233d09c	Update entrypoint All checks were successful Create and publish container / build_container (push) Successful in 5s Details	2025-12-23 07:20:29 +01:00
Janis Hutz	f76ed005b8	Update entrypoint All checks were successful Create and publish container / build_container (push) Successful in 7s Details	2025-12-23 07:20:03 +01:00
Janis Hutz	16502ebaf6	Update entrypoint All checks were successful Create and publish container / build_container (push) Successful in 7s Details	2025-12-23 07:13:32 +01:00
Janis Hutz	3d59eb4142	Add logging All checks were successful Create and publish container / build_container (push) Successful in 5s Details	2025-12-23 06:58:54 +01:00
Janis Hutz	444adda49b	Remove entrypoint for container Some checks failed Create and publish container / build_container (push) Failing after 7s Details	2025-12-23 06:55:05 +01:00
Janis Hutz	becdf00ad9	Restructure repo All checks were successful Create and publish container / build_container (push) Successful in 7s Details	2025-12-22 19:19:43 +01:00

19 Commits