fixup! fix: logo text (cispa#4)

Author: pleich

.github/workflows/test.yml

@@ -1,9 +1,9 @@
 name: Formatting, Linting, License Checks and Testing
 on:
   push:
-    branches: [ "main" ]
+    branches: ["main"]
   pull_request:
-    branches: [ "main" ]
+    branches: ["main"]
 
 env:
   CARGO_TERM_COLOR: always
@@ -62,7 +62,7 @@ jobs:
         run: rustup +${RUST_VERSION} component add clippy
       - name: check
         run: cargo +${RUST_VERSION} clippy --verbose --all-targets --all-features
-  
+
   # Run tests on Linux
   test-linux:
     needs: clippy
@@ -77,19 +77,19 @@ jobs:
       - name: Install Dependencies (Z3,CVC5,Graphviz)
         run: sudo apt-get install -y z3 cvc5 graphviz
       - name: Install Nextest
-        run: cargo +${RUST_VERSION} install cargo-nextest
+        run: cargo +${RUST_VERSION} install cargo-nextest --locked
       - name: Run unittests
         run: cargo +${RUST_VERSION} nextest run -P ci --verbose --all-targets --all-features
       - name: Publish Test Report
         uses: ctrf-io/github-test-reporter@v1
         if: always() # always run
         with:
           # Core Configuration
-          report-path: 'target/nextest/ci/test-output.xml' # Path or glob pattern to the CTRF report JSON file.
+          report-path: "target/nextest/ci/test-output.xml" # Path or glob pattern to the CTRF report JSON file.
           # Reports - Choose as many as you like. Default is false. Choosing none will use default reports.
           summary-report: true
           summary: true # Post report to the job summary. Default is true
-          title: 'Test Report Linux' # Set a custom title to display on the report.
+          title: "Test Report Linux" # Set a custom title to display on the report.
           integrations-config: |
             {
               "junit-to-ctrf": {
@@ -105,7 +105,7 @@ jobs:
                 }
               }
             }
-          
+
   # Run tests on macOS
   test-macos:
     needs: clippy
@@ -122,19 +122,19 @@ jobs:
       - name: Install CVC5
         run: brew install --cask cvc5/cvc5/cvc5
       - name: Install Nextest
-        run: cargo +${RUST_VERSION} install cargo-nextest
+        run: cargo +${RUST_VERSION} install cargo-nextest --locked
       - name: Run unittests
         run: cargo +${RUST_VERSION} nextest run -P ci --verbose --all-targets --all-features
       - name: Publish Test Report
         uses: ctrf-io/github-test-reporter@v1
         if: always() # always run
         with:
           # Core Configuration
-          report-path: 'target/nextest/ci/test-output.xml' # Path or glob pattern to the CTRF report JSON file.
+          report-path: "target/nextest/ci/test-output.xml" # Path or glob pattern to the CTRF report JSON file.
           # Reports - Choose as many as you like. Default is false. Choosing none will use default reports.
           summary-report: true
           summary: true # Post report to the job summary. Default is true
-          title: 'Test Report MacOS' # Set a custom title to display on the report.
+          title: "Test Report MacOS" # Set a custom title to display on the report.
           integrations-config: |
             {
               "junit-to-ctrf": {
@@ -177,7 +177,7 @@ jobs:
           hide_complexity: true
           indicators: true
           output: both
-          thresholds: '90 95'
+          thresholds: "90 95"
       - name: Print coverage report to summary
         run: |
           cat code-coverage-results.md >> $GITHUB_STEP_SUMMARY

docs/usage-cli/install.md

@@ -102,7 +102,7 @@ instructions of the official
 Once cargo is installed, you can install TACO by running
 
 ```bash
-cargo install taco-cli
+cargo install taco-cli --locked
 ```
 
 Now the `taco-cli` command should be available on your system. You can test the