mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 14:49:06 -04:00
d66fa63e20
Turns out the default timeout for github actions is 6 hours (!). This PR sets some reasonable default for all workflows, the ones invoking cargo in some way are limited to 60 minutes and the remaining ones to 10-15mins.
38 lines
1.1 KiB
YAML
38 lines
1.1 KiB
YAML
name: Preview Cleanup
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- closed
|
|
|
|
jobs:
|
|
cleanup:
|
|
runs-on: ubuntu-latest
|
|
timeout-minutes: 10
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
- run: mkdir -p empty_dir
|
|
- name: Generate URL_SLUG
|
|
env:
|
|
PR_NUMBER: ${{ github.event.pull_request.number }}
|
|
URL_SLUG: ${{ github.event.pull_request.number }}-${{ github.event.pull_request.head.ref }}
|
|
run: |
|
|
# Sanitize the URL_SLUG to only contain alphanumeric characters and dashes
|
|
URL_SLUG=$(echo $URL_SLUG | tr -cd '[:alnum:]-')
|
|
echo "URL_SLUG=$URL_SLUG" >> $GITHUB_ENV
|
|
- name: Deploy
|
|
uses: JamesIves/github-pages-deploy-action@v4
|
|
with:
|
|
folder: empty_dir
|
|
repository-name: egui-pr-preview/pr
|
|
branch: 'main'
|
|
clean: true
|
|
target-folder: ${{ env.URL_SLUG }}
|
|
ssh-key: ${{ secrets.DEPLOY_KEY }}
|
|
commit-message: "Remove preview for PR ${{ env.URL_SLUG }}"
|
|
single-commit: true
|