|
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!
|
|
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.
|
|
306e808d
|
2021-02-21T14:02:30
|
|
CI: added github pages build job
|
|
|
5d266e9b
|
2021-02-21T13:57:38
|
|
CI: added github actions
|
|
|
557aa140
|
2021-02-21T14:18:09
|
|
CI: fixed branch name
|
|
3937eefc
|
2021-02-12T19:43:32
|
|
a draft for a pull_request template
|