Skip to content
Documentation PR/push

add GetCacheLineSize() op to memory provider and use it to initialize DP min bucket size #610

Sign in to view logs

add GetCacheLineSize() op to memory provider and use it to initialize DP min bucket size

add GetCacheLineSize() op to memory provider and use it to initialize DP min bucket size #610

Workflow file for this run

.github/workflows/docs_pr_push.yml at 9481b4c
# This workflow is strictly for documentation updates. It triggers only when files related
# to documentation or specific workflows are edited, ensuring that the job runs only for
# relevant changes.
name: Documentation PR/push
on:
push:
branches-ignore:
- 'dependabot/**'
- 'main' # Ignore main branch as it's handled by docs.yml
paths:
- 'docs/**'
- 'include/**'
- .github/workflows/reusable_docs_build.yml
- .github/workflows/docs_pr_push.yml
- 'third_party/requirements.txt'
pull_request:
paths:
- 'docs/**'
- 'include/**'
- .github/workflows/reusable_docs_build.yml
- .github/workflows/docs_pr_push.yml
- 'third_party/requirements.txt'
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
permissions:
contents: read
jobs:
DocsBuild:
uses: ./.github/workflows/reusable_docs_build.yml