need to add the 1.0 tag to dockerfile (no latest)

jifalops · Mar 1, 2024 · cc1e871 · cc1e871
1 parent a5f1797
commit cc1e871
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 9 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -1 +1 @@
-FROM jifalops/rust
+FROM jifalops/rust:1.0
diff --git a/coverage.sh b/coverage.sh
@@ -1,5 +1,4 @@
 #!/bin/bash
 set -e
-PORT=${1:-8081}
 cargo llvm-cov test --html
-python3 -m http.server $PORT --directory target/llvm-cov/html
+python3 -m http.server --directory target/llvm-cov/html
diff --git a/doc.sh b/doc.sh
@@ -1,8 +1,4 @@
 #!/bin/bash
 set -e
-PORT=${1:-8080}
 cargo doc --no-deps
-echo "================================="
-echo "http://localhost:$PORT/cypher_dto"
-echo "================================="
-python3 -m http.server $PORT --directory target/doc/
+python3 -m http.server --directory target/doc/
diff --git a/test.sh b/test.sh
@@ -1,2 +1,2 @@
-cargo test --doc
+cargo test --doc --no-fail-fast
 cargo nextest run