Gaetan Lepage
|
fda9e1e9a4
|
ci: use cachix-action@v13
|
2023-11-28 18:59:45 +01:00 |
|
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 |
|