Fix workflow for non-main builds & remove old GitLab references #1

Merged

lordwektabyte merged 2 commits from develop into main

2023-12-31 16:56:31 +01:00

Author	SHA1	Message	Date
lordwektabyte	b73be037e2	Remove/modify old references from GitLab All checks were successful / build (push) Successful in 30s Details	2023-12-31 16:54:28 +01:00
lordwektabyte	67cf06909d	Restore mkdocs config for not main build All checks were successful / build (push) Successful in 34s Details	2023-12-31 16:41:52 +01:00