Gonçalo Valério 938416ac61 Remove travis-ci and add github actions workflows (#16)		2021-01-22 21:40:58 +00:00
..
codeql-analysis.yml	Remove travis-ci and add github actions workflows (#16)	2021-01-22 21:40:58 +00:00
format-check.yml	Remove travis-ci and add github actions workflows (#16)	2021-01-22 21:40:58 +00:00
run-test-suite.yml	Remove travis-ci and add github actions workflows (#16)	2021-01-22 21:40:58 +00:00