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