5 commits

Author	SHA1	Message	Date
Marcelo Bezerra	31208fe2f7	Update checkout action version	2024-06-12 19:44:35 +02:00
Jonathan Hudson	456a94548a	remove remaining instances of ubuntu-18.04 (#8562)	2022-11-16 13:21:32 +00:00
JuliooCesarMDM	ff273660e5	›Update Github actions version	2022-10-19 21:19:29 -03:00
Niccolò Maggioni	2397d4bc97	Trigger docs CI on PRs	2020-12-12 16:10:11 +01:00
Niccolò Maggioni	cf4e2dced4	Make CI check if Settings docs need to be updated	2020-11-16 13:12:27 +01:00