Skip to content

Re-try PR

Re-try PR #95

Workflow file for this run

name: Post-merge actions
on:
pull_request_target:
types: [closed]
paths-ignore:
- .github/*
- .gitignore
- README.md
jobs:
update_coverage_badge:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
strategy:
fail-fast: false
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
steps:
- name: Checkout main
uses: actions/checkout@v5
with:
ref: main
- name: Create TOML from recipe
run: .github/workflows/create_toml_from_yaml.sh ${GITHUB_WORKSPACE}
- name: Setup pixi
uses: prefix-dev/setup-pixi@v0.9.2
- name: Check unit test code coverage
run: pixi run codecov
update_website:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
strategy:
fail-fast: false
steps:
- name: Checkout main
uses: actions/checkout@v5
with:
ref: main
- name: Create TOML from recipe
run: .github/workflows/create_toml_from_yaml.sh ${GITHUB_WORKSPACE}
- name: Setup pixi
uses: prefix-dev/setup-pixi@v0.9.2
- name: Update pkgdown site
run: pixi run pkgdown_build
- name: Deploy to GitHub pages 🚀
if: github.event_name != 'pull_request'
uses: JamesIves/github-pages-deploy-action@v4.7.3
with:
clean: false
branch: gh-pages
folder: docs