5 commits

Author	SHA1	Message	Date
Gaetan Lepage	2a849a4c35	ci: switch to actions/checkout@v4	2023-11-23 15:05:58 +01:00
Gaetan Lepage	e5cc0c093b	ci: switch back to GitHub runner	2023-11-23 09:55:45 +01:00
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