Merge branch 'main' into develop

This commit is contained in:
James Cole
2024-02-04 06:42:12 +01:00

View File

@@ -2,6 +2,9 @@
name: "Chore - Prune old builds" name: "Chore - Prune old builds"
permissions:
actions: write
on: on:
schedule: schedule:
- cron: '0 0 * * *' - cron: '0 0 * * *'
@@ -14,7 +17,7 @@ jobs:
- name: Prune cancelled/skipped runs - name: Prune cancelled/skipped runs
uses: actions/github-script@v7 uses: actions/github-script@v7
with: with:
github-token: ${{ secrets.GH_ACTIONS_PERSONAL_ACCESS_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
script: | script: |
const cancelled = await github.rest.actions.listWorkflowRunsForRepo({ const cancelled = await github.rest.actions.listWorkflowRunsForRepo({
owner: context.repo.owner, owner: context.repo.owner,
@@ -44,7 +47,7 @@ jobs:
- name: Prune runs older than 3 days - name: Prune runs older than 3 days
uses: actions/github-script@v7 uses: actions/github-script@v7
with: with:
github-token: ${{ secrets.GH_ACTIONS_PERSONAL_ACCESS_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
script: | script: |
const days_to_expiration = 3; const days_to_expiration = 3;
const ms_in_day = 86400000; const ms_in_day = 86400000;