Commit Graph

5 Commits

Author SHA1 Message Date
Adriaan de Groot
a843f34177 CI: require a sufficiently-recent JSON-Schema 2020-11-09 13:41:56 +01:00
Adriaan de Groot
0ee0f40816 REUSE: license tags for the scripts and tools in ci/
- remove empty useless HACKING
- remove unused cppcheck.sh
- migrate the AppImage docs to the wiki (which doesn't moan about licensing)
- try a HTML-style comment in the RELEASE docs
2020-08-26 02:05:46 +02:00
Adriaan de Groot
635f53a804 CI: add a BUILD_SCHEMA_TESTING
- ON by default, so if tests are built and the script works,
  those tests will run as well.
- Check that the script works by invoking it once.
2020-06-16 17:36:59 +02:00
Adriaan de Groot
a0d56acabe CI: verbose schema-failure diagnostics 2020-06-16 15:56:01 +02:00
Adriaan de Groot
71249866df CI: add tooling for schema validation
The config files have fairly extensive documentation but no
formal description; adding JSON-Schema into the mix makes it
possible to write a machine-checkable description.
2020-06-16 12:45:29 +02:00