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 35f4900bbb Update GitHub Actions runner ... ubuntu-18.04 was turned off on April 1st, 2023. Moving to the next version, ubuntu-20.04		1 year ago
..
build.yml	Update GitHub Actions runner	1 year ago
codeql.yml	Add CodeQL workflow	3 years ago
webdis-ci.json	Add build (+ test) workflow for GitHub Actions (#191)	4 years ago