3 Commits

Author SHA1 Message Date
Alberto Bertogli
6ff08b1ec2 ci: Rename master branch to main
These days `main` is more common, and I find it more intuitive.
2024-04-19 18:57:30 +01:00
Alberto Bertogli
a7342fcb1b ci: Bump Github action versions
Nearly all the github actions we rely on have increased their major
version, at least to update the Node.js version they run on, since the
previous one is being deprecated and will eventually become unsupported.

So this patch updates all the versions of the github actions we use.
2024-02-05 00:04:50 +00:00
Alberto Bertogli
fbb9bed366 ci: Add Github workflows
This patch adds two github workflows that will run on each commit, and
also regularly: CodeQL and govulncheck.
2022-10-21 10:11:37 +01:00