Skip to content

fix: retention-aware adoption stops the adopt/prune/rediscover livelock #962

fix: retention-aware adoption stops the adopt/prune/rediscover livelock

fix: retention-aware adoption stops the adopt/prune/rediscover livelock #962

Workflow file for this run

---
# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json
name: Docs
on:
push:
branches:
- main
paths-ignore:
# The release workflow's krew step pushes plugins/kopiur.yaml to main with
# the bot app token, which (unlike GITHUB_TOKEN) retriggers workflows —
# the docs site doesn't render plugins/, so skip the rebuild.
- "plugins/**"
pull_request:
branches:
- main
workflow_dispatch:
# Serialize Pages deploys (matches the official GitHub Pages flow); never cancel
# an in-flight deploy.
concurrency:
group: pages
cancel-in-progress: false
permissions:
contents: read
env:
CARGO_TERM_COLOR: always
RUST_BACKTRACE: 1
jobs:
build:
name: Build docs site
runs-on: ubuntu-24.04
permissions:
contents: read
steps:
- name: Checkout
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
with:
persist-credentials: false
- name: Setup Mise
uses: jdx/mise-action@dad1bfd3df957f44999b559dd69dc1671cb4e9ea # v4.2.1
with:
experimental: true
install_args: --locked
- name: Setup Rust cache
uses: Swatinem/rust-cache@c19371144df3bb44fab255c43d04cbc2ab54d1c4 # v2.9.1
with:
shared-key: docs
# Only needed for deployment (configures the base path); skip on PRs.
- name: Configure Pages
if: github.event_name != 'pull_request'
uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0
- name: Build docs site
run: mise run docs
- name: Upload artifact
if: github.event_name != 'pull_request'
# MkDocs builds into site/ (with rustdoc nested under site/rustdoc/).
uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
with:
path: ./site
publish:
name: Publish to GitHub Pages
# PRs build for breakage detection but do not deploy.
if: github.event_name != 'pull_request'
needs:
- build
runs-on: ubuntu-24.04
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
permissions:
pages: write
id-token: write
steps:
- name: Publish to GitHub Pages
id: deployment
uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0