Fix documentation workflow (#318)

Author: mickael-menu

.github/workflows/docs.yml

@@ -9,7 +9,7 @@ on:
 jobs:
   docs:
     name: Update documentation
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-18.04
 
     steps:
       - name: Checkout