diff --git a/.github/workflows/pmlint-posts.yml b/.github/workflows/pmlint-posts.yml new file mode 100644 index 0000000..d8be975 --- /dev/null +++ b/.github/workflows/pmlint-posts.yml @@ -0,0 +1,46 @@ +# pmlint posts — validate _posts YAML on correction PRs (published volumes) +# Copy into a volume repository as .github/workflows/pmlint-posts.yml +# Checks out latest mlresearch/papersite and runs `pmlint posts --check`. +# +# Prefer enabling this on the branch that holds `_posts/` (often gh-pages). + +name: pmlint-posts + +on: + pull_request: + paths: + - "_posts/**" + workflow_dispatch: + +jobs: + check-posts: + if: startsWith(github.event.repository.name, 'v') || startsWith(github.event.repository.name, 'r') + runs-on: ubuntu-latest + steps: + - name: Checkout volume + uses: actions/checkout@v4 + with: + fetch-depth: 0 + + - name: Checkout papersite tooling + uses: actions/checkout@v4 + with: + repository: mlresearch/papersite + path: .papersite-tools + + - name: Set up Ruby + uses: ruby/setup-ruby@v1 + with: + ruby-version: "3.0" + + - name: Run pmlint posts --check + env: + PAPERSITE_ROOT: ${{ github.workspace }}/.papersite-tools + PMLINT_SKIP_UPDATE: "1" + run: | + # Full tree on workflow_dispatch; PR path uses changed posts vs base + if [[ "${{ github.event_name }}" == "pull_request" ]]; then + bash "$PAPERSITE_ROOT/bin/pmlint" posts --check --changed --base "origin/${{ github.base_ref }}" + else + bash "$PAPERSITE_ROOT/bin/pmlint" posts --check + fi diff --git a/_posts/2022-06-28-he22e.md b/_posts/2022-06-28-he22e.md index dca534b..1801f04 100644 --- a/_posts/2022-06-28-he22e.md +++ b/_posts/2022-06-28-he22e.md @@ -18,8 +18,7 @@ publisher: PMLR issn: 2640-3498 id: he22e month: 0 -tex_title: A Reduction from Linear Contextual Bandit Lower Bounds to Estimation Lower - Bounds +tex_title: A Reduction from Linear Contextual Bandits Lower Bounds to Estimations Lower Bounds firstpage: 8660 lastpage: 8677 page: 8660-8677