Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 4 of 4 for PIP (0.01 sec)

  1. test_docs.sh

    #!/bin/bash
    
    # The website is built using MkDocs with the Material theme.
    # https://squidfunk.github.io/mkdocs-material/
    # It requires Python to run.
    # Install the packages with the following command:
    # pip install mkdocs mkdocs-material mkdocs-redirects
    
    set -ex
    
    # Test generating the javadoc jars
    ./gradlew publishToMavenLocal -DRELEASE_SIGNING_ENABLED=false
    
    # Generate the API docs
    ./gradlew dokkaHtmlMultiModule
    
    Registered: Fri Sep 05 11:42:10 UTC 2025
    - Last Modified: Wed Apr 17 13:52:16 UTC 2024
    - 718 bytes
    - Viewed (1)
  2. fuzzing/fuzzingserver-test.sh

    #!/usr/bin/env bash
    
    SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )"
    cd "$SCRIPT_DIR"
    
    which wstest
    if [ $? != 0 ]; then
      echo "Run 'pip install autobahntestsuite', maybe with 'sudo'."
      exit 1
    fi
    which jq
    if [ $? != 0 ]; then
      echo "Run 'brew install jq'"
      exit 1
    fi
    
    trap 'kill $(jobs -pr)' SIGINT SIGTERM EXIT
    
    set -ex
    
    wstest -m fuzzingserver -s fuzzingserver-config.json &
    sleep 2 # wait for wstest to start
    
    Registered: Fri Sep 05 11:42:10 UTC 2025
    - Last Modified: Tue Mar 26 02:01:32 UTC 2019
    - 673 bytes
    - Viewed (0)
  3. .github/workflows/docs.yml

            uses: actions/setup-java@v5
            with:
              distribution: 'zulu'
              java-version: 17
    
          - uses: actions/setup-python@v5
            with:
              python-version: 3.x
    
          - run: pip install mkdocs-material mkdocs-redirects
    
          - name: Generate Docs
            run: ./test_docs.sh
    
          - uses: actions/upload-artifact@v4
            with:
              name: docs
    Registered: Fri Sep 05 11:42:10 UTC 2025
    - Last Modified: Thu Aug 21 07:15:58 UTC 2025
    - 987 bytes
    - Viewed (0)
  4. deploy_website.sh

    cp CHANGELOG.md docs/changelogs/changelog.md
    cp CONTRIBUTING.md docs/contribute/contributing.md
    
    # Build the site and push the new files up to GitHub
    python3 -m venv venv
    source venv/bin/activate
    pip install mkdocs-material mkdocs-redirects
    mkdocs gh-deploy
    
    # Restore Javadocs from 1.x, 2.x, and 3.x.
    git checkout gh-pages
    git cherry-pick bb229b9dcc9a21a73edbf8d936bea88f52e0a3ff
    Registered: Fri Sep 05 11:42:10 UTC 2025
    - Last Modified: Mon Nov 20 15:26:12 UTC 2023
    - 1.2K bytes
    - Viewed (0)
Back to top