3 Commits

Author	SHA1	Message	Date
Dave Davenport	0bbefbf257	Add an apt update to ci (remove trailing \)	2022-03-04 10:12:02 +01:00
Dave Davenport	af80e8c242	Add an apt update to ci	2022-03-04 10:11:20 +01:00
TonCherAmi	ceee9d672a	[CI] Port CI to github actions. (#1374) ... * [CI] Port CI to github actions. * [Doc] Fix doxygen comment block.	2021-08-20 14:54:34 +02:00