Commit Graph

2 Commits

Author SHA1 Message Date
Gerry Demaret
2afd3ee09d workflows: set up GitHub pages
Currently being built from a feature branch, we will switch to building
from main.
2023-05-18 13:43:05 +02:00
Jakub Vrána
d506f1e241 Enable CodeQL Analysis 2021-02-10 19:51:49 +01:00