6 Commits

Author	SHA1	Message	Date
Martin Hořeňovský	88504e5332	Use Ubuntu-20.04 runner for running header guard validation ... Using `ubuntu-latest` is triggering warning that it will soon migrate from 18.04 to 20.04, so I am migrating preventively.	2020-11-28 23:09:10 +01:00
Martin Hořeňovský	0fa133a0c5	Run checking scripts directly	2020-11-10 15:25:52 +01:00
Martin Hořeňovský	447b39cae0	Better names for misc-checks workflow steps	2020-11-10 15:25:24 +01:00
George Xanthakis	d913837a5d	Adds license check in CI	2020-11-10 00:51:24 +02:00
George Xanthakis	39e13bf530	Adds duplication check for source files in CI	2020-11-07 21:35:41 +02:00
Martin Hořeňovský	2baa472bcc	Add GitHub action to check that include guards use standard pattern ... Based on work by @innerout, but finished and merged by me, because the GitHub action refused to run for him. Closes #2075 Closes #2091	2020-11-06 21:36:31 +01:00