.github/workflows


Log

Author Commit Date CI Message
Ryan C. Gordon 3a1317ed 2021-03-09T15:54:25 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!
Subs 00fabdde 2021-03-03T19:05:47 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.
Martin Gerhardy 557aa140 2021-02-21T14:18:09 CI: fixed branch name
Martin Gerhardy 306e808d 2021-02-21T14:02:30 CI: added github pages build job
Martin Gerhardy 5d266e9b 2021-02-21T13:57:38 CI: added github actions