Commit Graph

154 Commits (796713b9d54d1e93b991d4b5e5365033a0da7ba6)

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