[actions] in .github/workflows/manual*, add also the ccache executabl… #59
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Copyright (C) 2020-2023 CERN and UCLouvain. | |
# Licensed under the GNU Lesser General Public License (version 3 or later). | |
# Created by: A. Valassi (Oct 2023) for the MG5aMC CUDACPP plugin. | |
# Further modified by: A. Valassi (2023) for the MG5aMC CUDACPP plugin. | |
name: Manual test suite | |
#---------------------------------------------------------------------------------------------------------------------------------- | |
on: | |
push: | |
paths: | |
- '.github/workflows/manual.*' | |
workflow_dispatch: | |
#inputs: | |
# name: | |
# description: 'Person to greet' | |
# default: 'World' | |
# required: true | |
# type: string | |
#---------------------------------------------------------------------------------------------------------------------------------- | |
jobs: | |
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
# See https://github.com/actions/cache/blob/main/tips-and-workarounds.md#force-deletion-of-caches-overriding-default-cache-eviction-policy | |
cleanup: | |
runs-on: ubuntu-latest | |
permissions: | |
actions: write # this is required to delete caches | |
contents: read | |
steps: | |
- name: Cleanup | |
run: | | |
gh extension install actions/gh-actions-cache | |
REPO=${{ github.repository }} | |
echo "Fetching list of cache keys" | |
cacheKeys=$(gh actions-cache list -R $REPO | cut -f 1 ) | |
set +e # do not fail while deleting cache keys | |
echo "Deleting caches..." | |
for cacheKey in $cacheKeys; do gh actions-cache delete $cacheKey -R $REPO --confirm; done | |
echo "Deleting caches... done" | |
env: | |
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
manualtestsuite: | |
runs-on: ubuntu-latest | |
steps: | |
- # See https://github.com/actions/checkout | |
# (NB actions/checkout@v2 is deprecated) | |
# (NB actions/checkout@v4 need "Allow owner and select non-owner" and "Allow actions created by github") | |
uses: actions/checkout@v4 | |
with: | |
submodules: 'true' | |
- name: welcome | |
run: .github/workflows/manual.sh welcome | |
- name: codegen | |
run: .github/workflows/manual.sh codegen | |
- # See https://github.com/actions/cache/blob/main/tips-and-workarounds.md#force-deletion-of-caches-overriding-default-cache-eviction-policy | |
name: list_cached | |
run: | | |
gh extension install actions/gh-actions-cache | |
REPO=${{ github.repository }} | |
echo "List cache keys (start)" | |
gh actions-cache list -R $REPO | cut -f 1 | |
echo "List cache keys (end)" | |
env: | |
GH_TOKEN: ${{ github.token }} | |
- # See https://github.com/actions/cache | |
# See https://github.com/actions/cache/blob/main/tips-and-workarounds.md#update-a-cache | |
name: restore_cache | |
id: cache-restore | |
uses: actions/cache/restore@v3 | |
with: | |
path: | | |
CCACHE_DIR | |
DOWNLOADS | |
key: cache-${{ runner.os }}-${{ github.run_id }} | |
restore-keys: | |
cache-${{ runner.os }} | |
- name: tput_ini | |
run: .github/workflows/manual.sh tput_ini | |
- name: tput_run | |
run: .github/workflows/manual.sh tput_run | |
- name: tput_fin | |
run: .github/workflows/manual.sh tput_fin | |
- # See https://github.com/actions/cache | |
name: update_cache | |
id: cache-update | |
uses: actions/cache/save@v3 | |
with: | |
path: | | |
CCACHE_DIR | |
DOWNLOADS | |
key: cache-${{ runner.os }}-${{ github.run_id }} | |
#- name: Send greeting | |
# run: echo "Hello ${{ inputs.name }}" | |
#---------------------------------------------------------------------------------------------------------------------------------- |