This commit is contained in:
tooomm 2026-07-22 20:25:36 +02:00 committed by GitHub
parent 4db6b599cd
commit 91612434d8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,10 +11,10 @@ on:
- published # publishing of stable releases and pre-releases - published # publishing of stable releases and pre-releases
workflow_dispatch: workflow_dispatch:
inputs: inputs:
evict_cache: graph_cache:
description: "Evict Doxygen graph cache" description: "Use Doxygen graph cache? (Disabling will rebuild the GH Pages folder from scratch)"
type: boolean type: boolean
default: false default: true
env: env:
COCKATRICE_REF: ${{ github.ref_name }} # tag name if the commit is tagged, otherwise branch name COCKATRICE_REF: ${{ github.ref_name }} # tag name if the commit is tagged, otherwise branch name
@ -54,7 +54,7 @@ jobs:
fi fi
- name: "Restore graph cache from GH Pages repo" - name: "Restore graph cache from GH Pages repo"
if: github.event_name != 'workflow_dispatch' || inputs.evict_cache == false if: github.event_name != 'workflow_dispatch' || inputs.graph_cache == true
continue-on-error: true continue-on-error: true
uses: actions/checkout@v7 uses: actions/checkout@v7
with: with: