5 commits

Author	SHA1	Message	Date
Ryan C. Gordon	3a1317ed47	Minor tweak to workflow settings. ... There was an (innocently intended, I assume!) "make X great again" joke in a previous commit message, and I'd like this not to be the first thing people see on our GitHub project page, so I added some whitespace to the end of this file. Apologies to any that were bothered by that, it was an accident!	2021-03-09 15:54:25 -05:00
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