Changes

Summary

  1. Added a CI script (#2423). (details)
Commit 7e847486446684f9adb83fdebb35a1aec433ec48 by Alan Garny
Added a CI script (#2423).

Indeed, we can't currently CI test on Linux since we are running Ubuntu 18.04 LTS while we need Ubuntu 20.04 LTS.
The file was addedci
The file was addedci.bat
The file was modified scripts/genericmake (diff)
The file was modified scripts/genericmake.bat (diff)