fix: support quantization ranges for int8/uint8 sentence-transformers… #7538
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Core / Add label on docstrings edit | |
| on: | |
| pull_request_target: | |
| paths: | |
| - "integrations/**/*.py" | |
| jobs: | |
| label: | |
| runs-on: ubuntu-slim | |
| steps: | |
| - name: Checkout base commit | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| with: | |
| ref: ${{ github.base_ref }} | |
| - name: Copy file | |
| # We copy our script after base ref checkout so we keep executing | |
| # the same version even after checking out the HEAD ref. | |
| # This is done to prevent executing malicious code in forks' PRs. | |
| run: cp .github/utils/docstrings_checksum.py "${{ runner.temp }}/docstrings_checksum.py" | |
| - name: Setup Python | |
| uses: actions/setup-python@ece7cb06caefa5fff74198d8649806c4678c61a1 # v6.3.0 | |
| with: | |
| python-version: "3.11" | |
| - name: Get docstrings | |
| id: base-docstrings | |
| run: | | |
| CHECKSUM=$(python "${{ runner.temp }}/docstrings_checksum.py" --root "${{ github.workspace }}") | |
| echo "checksum=$CHECKSUM" >> "$GITHUB_OUTPUT" | |
| - name: Checkout HEAD commit | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| with: | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| # This must be set to correctly checkout a fork | |
| repository: ${{ github.event.pull_request.head.repo.full_name }} | |
| # Safe because the script is copied from the trusted base before this checkout; | |
| # fork files are only read as data, never executed. | |
| allow-unsafe-pr-checkout: true | |
| - name: Get docstrings | |
| id: head-docstrings | |
| run: | | |
| CHECKSUM=$(python "${{ runner.temp }}/docstrings_checksum.py" --root "${{ github.workspace }}") | |
| echo "checksum=$CHECKSUM" >> "$GITHUB_OUTPUT" | |
| - name: Check if we should label | |
| id: run-check | |
| run: echo "should_run=${{ steps.base-docstrings.outputs.checksum != steps.head-docstrings.outputs.checksum }}" >> "$GITHUB_OUTPUT" | |
| - name: Add label | |
| if: ${{ steps.run-check.outputs.should_run == 'true' }} | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: gh pr edit ${{ github.event.pull_request.html_url }} --add-label "type:documentation" |