fix: github action for x-th time

bresilla · Oct 19, 2023 · 6fb1e58 · 6fb1e58
1 parent 90194d0
commit 6fb1e58
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 2 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -0,0 +1,24 @@
+name: book
+
+on:
+  release:
+    types: [created]
+
+jobs:
+  deploy_site:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Setup mdBook
+        uses: peaceiris/actions-mdbook@v1
+        with:
+          mdbook-version: 'latest'
+
+      - run: mdbook build book --dest-dir ../docs
+
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,7 +11,7 @@ name = "roc"
 path = "src/main.rs"
 
 [dependencies]
-rustdds = {   git = "https://github.com/jhelovuo/RustDDS.git" }
+rustdds = "0.8.5"
 tokio = { version = "1", features = ["full"] }
 anyhow = "1.0.75"
 clap = { version = "4.3.23", features = ["derive"] }