You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nicolas Favre-Felix 7cec889947 Allow manual runs of "build" GitHub Action		3 years ago
..
build.yml	Allow manual runs of "build" GitHub Action	3 years ago
codeql.yml	Add CodeQL workflow	3 years ago
webdis-ci.json	Add build (+ test) workflow for GitHub Actions (#191)	4 years ago