Merge branch 'tiddlywiki-com'

This commit is contained in:
Jeremy Ruston
2025-05-05 12:00:45 +01:00
3 changed files with 59 additions and 0 deletions
+18
View File
@@ -0,0 +1,18 @@
name: Calculate PR build size
on:
pull_request:
types: [opened, reopened, synchronize]
jobs:
calculate-build-size:
runs-on: ubuntu-latest
steps:
- name: Build and check size
uses: saqimtiaz/cerebrus@v3
with:
pr_number: ${{ github.event.pull_request.number }}
repo: ${{ github.repository }}
base_ref: ${{ github.base_ref }}
github_token: ${{ secrets.GITHUB_TOKEN }}
mode: size:calc
@@ -0,0 +1,23 @@
name: Comment on PR build size (Trusted workflow)
on:
repository_dispatch:
types: [pr_build_size_report]
jobs:
comment-build-size-on-pr:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Build and check size
uses: TiddlyWiki/cerebrus@v3
with:
pr_number: ${{ github.event.client_payload.pr_number }}
repo: ${{ github.repository }}
base_ref: ${{ github.event.client_payload.base_branch }}
github_token: ${{ secrets.GITHUB_TOKEN }}
mode: size:comment
pr_size: ${{ github.event.client_payload.pr_size }}
base_size: ${{ github.event.client_payload.base_size }}
+18
View File
@@ -0,0 +1,18 @@
name: Validate PR Paths
on:
pull_request_target:
types: [opened, reopened, synchronize]
jobs:
validate-pr:
runs-on: ubuntu-latest
steps:
- name: Validate PR
uses: TiddlyWiki/cerebrus@v3
with:
pr_number: ${{ github.event.pull_request.number }}
repo: ${{ github.repository }}
base_ref: ${{ github.base_ref }}
github_token: ${{ secrets.GITHUB_TOKEN }}