Skip to content

Update Profile and Deploy Pages #359

Update Profile and Deploy Pages

Update Profile and Deploy Pages #359

Workflow file for this run

name: Update Profile and Deploy Pages
on:
schedule:
- cron: '0 5 * * *'
workflow_dispatch:
concurrency:
group: pages
cancel-in-progress: false
jobs:
refresh:
runs-on: ubuntu-latest
permissions:
contents: write
pull-requests: write
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- uses: astral-sh/setup-uv@v5
with:
enable-cache: true
- run: uv sync --all-groups --frozen
- name: Restore snapshot cache
uses: actions/cache@v4
with:
path: profile/cache/repo_overview.json
key: snapshot-${{ github.run_id }}
restore-keys: snapshot-
- name: Collect metrics
env:
GITHUB_TOKEN: ${{ secrets.SCORE_BOT_PAT }}
run: uv run generate-repo-overview collect
- name: Render overview (MD)
run: uv run generate-repo-overview render-overview
- name: Create Pull Request
uses: peter-evans/create-pull-request@v7
with:
title: Update profile README
author: eclipse-score-bot <187756813+eclipse-score-bot@users.noreply.github.com>
committer: eclipse-score-bot <187756813+eclipse-score-bot@users.noreply.github.com>
body: |
Auto-generated update of `profile/README.md` from the latest snapshot.
The HTML metrics dashboard is deployed separately to GitHub Pages.
commit-message: "chore: auto-refresh profile readme"
base: main
branch: bot/status-update
env:
GITHUB_TOKEN: ${{ secrets.SCORE_BOT_PAT }}
- name: Render details (HTML)
run: uv run generate-repo-overview render-details
- uses: actions/upload-pages-artifact@v5
with:
path: _site
deploy:
needs: refresh
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
steps:
- id: deployment
uses: actions/deploy-pages@v5