chore(gitpod): add a task to serve documentation

jcornaz · Jun 6, 2022 · 74559f9 · 74559f9
1 parent 5826aa1
commit 74559f9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -2,6 +2,10 @@ image:
   file: .gitpod.Dockerfile
 
 tasks:
+  - name: doc
+    init: cargo +nightly doc --all-features --no-deps
+    command: miniserve --index benimator/index.html target/doc
+
   - name: test
     init: |
       cp .cargo/fast_compiles_config .cargo/config.toml