Commit graph

3 commits

Author SHA1 Message Date
Gaetan Lepage
7eb1a85ccb github-workflow: add a timeout for jobs 2023-10-03 14:18:18 +02:00
Gaetan Lepage
47b72e41dd github-worflow: Switch to "Namespace" runner for CI 2023-10-01 18:12:54 +02:00
Gaetan Lepage
2fea694de0 workflow: change from circle-ci to github action for doc deployment 2023-08-28 11:58:19 +02:00