Commit Graph

57 Commits

Author SHA1 Message Date
Ryan C. Gordon 2689e844e0
Delete gh-pages.yml
This shouldn’t exist, let alone make commits to the repo. Kind of annoyed this is here and ran today.
2021-04-01 16:36:06 -04:00
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
erik yuzwa 3937eefcfb a draft for a pull_request template 2021-02-13 11:58:09 -05:00