4 Commits (73b545ed28baf057d15078f7c00a652b83d728a7)

Author	SHA1	Message	Date
Subs	00fabdde18	Make github CI great again ... The current CI doesn't work and can be fixed. To steps, use a matrix to build on various OS + allow platform specific flags. The linux build should cover a wider case of video backends.	2021-03-04 22:02:47 -08:00
Martin Gerhardy	557aa140e8	CI: fixed branch name	2021-02-21 16:45:48 -08:00
Martin Gerhardy	306e808da1	CI: added github pages build job	2021-02-21 16:45:48 -08:00
Martin Gerhardy	5d266e9bba	CI: added github actions	2021-02-21 16:45:48 -08:00