Commit Graph

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