Saúl Ibarra Corretgé 7fe17cc2d3 Remove unnecessary shell change in CI		2024-04-07 00:08:19 +02:00
..
ci.yml	Remove unnecessary shell change in CI	2024-04-07 00:08:19 +02:00
release.yml	Pin Ubuntu CI images to 20.04 (#315)	2024-03-15 10:49:33 +01:00
valgrind.yml	Add valgrind to CI	2024-03-20 20:03:05 +01:00