Léo Lam 1ee6fff575 ci: Fix tool setup commands		2020-09-24 18:49:06 +02:00
..
build.yml	ci: Check matching functions for each push and PR build	2020-09-24 18:40:06 +02:00
check.yml	ci: Fix tool setup commands	2020-09-24 18:49:06 +02:00
lint_pr.yml	ci: Add a PR lint workflow	2020-08-22 10:42:36 +02:00