Skip to content
Update Reports and Artifact Badge Data

Update Reports and Artifact Badge Data #695

Sign in to view logs

Update Reports and Artifact Badge Data

Update Reports and Artifact Badge Data #695

Workflow file for this run

.github/workflows/update-reports.yml at e59d76b
name: Update Reports and Artifact Badge Data
on:
schedule:
# want a schedule 21h50 in Europe/Paris timezone, but GHA only supports UTC
# => workaround found in https://github.com/orgs/community/discussions/13454
# - during "Central European Time" (CET): Offset from UTC: -1
- cron: "50 20 * 11-12,1-3 *"
# - during "Central European Summer Time" (CEST): Offset from UTC: -2
- cron: "50 19 * 4-10 *"
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
update-project-reports:
if: github.repository == 'jvm-repo-rebuild/reproducible-central'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Update Project Reports
run: ./bin/update-reproducibility-summary.sh update
- name: Commit Push
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
git config --local user.email "reproducible-central@github.io"
git config --local user.name "Reproducible Central CI"
git add -A
git commit -m "nightly update of content"
git push
update-artifact-badge-data:
needs: update-project-reports
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup JBang
uses: jbangdev/setup-jbang@main
- name: Checkout gh-pages
uses: actions/checkout@v4
with:
ref: 'gh-pages'
path: 'gh-pages'
- name: Update Badge Data
run: |
wget -nv https://raw.githubusercontent.com/hboutemy/mcmm-logs/refs/heads/master/outputTimestamp.txt
./bin/update_artifact_badge_data.java
- name: Commit Push gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
cd gh-pages
git config --local user.email "reproducible-central@github.io"
git config --local user.name "Reproducible Central CI"
git add -A
git commit -m "nightly update of content"
git push