4 commits

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