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

2 Commits

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