chore: Publish types (#27746)

This commit is contained in:
Koen Kanters
2025-06-17 20:20:34 +02:00
committed by GitHub
parent de800450ad
commit fb60cfde38
4 changed files with 28 additions and 1 deletions
+20 -1
View File
@@ -1,6 +1,9 @@
name: CI
on: [pull_request, push]
on:
push:
branches-ignore:
- dev-types
permissions:
contents: write
@@ -83,6 +86,22 @@ jobs:
VERSION=dev
DATE=${{ github.event.repository.updated_at }}
- name: dev - Publish types
if: github.ref == 'refs/heads/dev' && github.event_name == 'push'
run: |
pnpm run build:types
temp_dir=$(mktemp -d)
cp -R package.json LICENSE dist $temp_dir
git fetch --unshallow
git checkout dev-types
rm -rf *
cp -R $temp_dir/* .
git add -A
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git commit -m "Update" || echo 'Nothing to commit'
git push --force --set-upstream origin dev-types
- name: release - Docker meta
if: startsWith(github.ref, 'refs/tags/') && github.event_name == 'push'
uses: docker/metadata-action@v5