Migrate CI to use Fedora #4

Merged

erki merged 2 commits from feature/migrate_ci_to_fedora into master

2024-02-07 07:27:51 +00:00

Author	SHA1	Message	Date
Erki	f95d8026ba	Migrate docs building also All checks were successful CI & Unit Tests / Unit-Tests (push) Successful in 46s Details CI & Unit Tests / Docs (push) Successful in 17s Details CI & Unit Tests / Unit-Tests (pull_request) Successful in 48s Details CI & Unit Tests / Docs (pull_request) Successful in 9s Details	2024-02-04 23:15:52 +02:00
Erki	64269fc508	Change UT runner All checks were successful CI & Unit Tests / Unit-Tests (push) Successful in 47s Details CI & Unit Tests / Docs (push) Successful in 1m48s Details	2024-02-04 22:34:55 +02:00