diff --git a/.github/workflows/ci_pr.yml b/.github/workflows/ci_pr.yml index 285daba..a4c7c33 100644 --- a/.github/workflows/ci_pr.yml +++ b/.github/workflows/ci_pr.yml @@ -26,36 +26,4 @@ jobs: run: python3 -m pip install yamllint - name: Lint YAML files - run: "yamllint -f github -d '{extends: default, rules: {line-length: disable}}' _data/guides.yml" - - # Auto-generate date job to update _config.yml - auto-gen-date: - name: Update ci_last_modified_date - runs-on: ubuntu-latest - permissions: - contents: write - steps: - - name: Checkout - uses: actions/checkout@v5 - with: - ref: ${{ github.head_ref }} - persist-credentials: true - fetch-depth: 0 - - - name: Set date - id: set_date - run: | - date_value=$(date +'%Y-%m-%d') - echo "date_yyyy_mm_dd=$date_value" >> $GITHUB_ENV - echo "date=$date_value" >> $GITHUB_OUTPUT - - - name: Update _config.yml - uses: mikefarah/yq@master - with: - cmd: yq -i '.ci_last_modified_date = "${{ steps.set_date.outputs.date }}"' _config.yml - - - name: Commit and Push - uses: stefanzweifel/git-auto-commit-action@v7 - with: - commit_message: "ci: Auto-update date to ${{ steps.set_date.outputs.date }} [skip ci]" - file_pattern: "_config.yml" \ No newline at end of file + run: "yamllint -f github -d '{extends: default, rules: {line-length: disable}}' _data/guides.yml" \ No newline at end of file diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 868dec4..d72c1b7 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -1,4 +1,3 @@ ---- # This workflow uses actions that are not certified by GitHub. # They are provided by a third-party and are governed by # separate terms of service, privacy policy, and support @@ -16,7 +15,7 @@ on: # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: - contents: write + contents: read pages: write id-token: write @@ -26,9 +25,9 @@ concurrency: cancel-in-progress: true jobs: - # Build job build: + if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && !contains(github.event.head_commit.message, '[skip ci]')) }} runs-on: ubuntu-latest steps: - name: Checkout @@ -55,6 +54,7 @@ jobs: # Deployment job deploy: + if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && !contains(github.event.head_commit.message, '[skip ci]')) }} environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} diff --git a/_config.yml b/_config.yml index 18905fa..85fcd1e 100644 --- a/_config.yml +++ b/_config.yml @@ -206,4 +206,4 @@ compress_html: sass: quiet_deps: true # https://github.com/just-the-docs/just-the-docs/issues/1541 silence_deprecations: ["import"] # https://github.com/just-the-docs/just-the-docs/issues/1607 -ci_last_modified_date: "2025-12-05" +ci_last_modified_date: "2025-12-10" diff --git a/_layouts/minimal_search.html b/_layouts/minimal_search.html index 1761307..0d523e4 100644 --- a/_layouts/minimal_search.html +++ b/_layouts/minimal_search.html @@ -5,6 +5,7 @@ {{ page.title }} +