name: Update Unicode
on:
workflow_dispatch:
inputs:
version:
type: string
required: true
description: Unicode Version
permissions: {}
jobs:
unicode:
name: Update Unicode
runs-on: ubuntu-latest
steps:
- uses: taiki-e/checkout-action@7d1e50e93dc4fb3bba58f85018fadf77898aee8b - uses: oxc-project/setup-rust@3d6fb132fbe7cdcb66bf8ec193911c2945369d12 - uses: taiki-e/install-action@fa23953489c080190314742a9b907f8e97c6767c with:
tool: ucd-generate
- run: curl -LO https://www.unicode.org/Public/zipped/latest/UCD.zip
- run: unzip UCD.zip -d UCD
- run: ucd-generate property-bool UCD --include ID_Start,ID_Continue > tests/tables/tables.rs
- run: ucd-generate property-bool UCD --include ID_Start,ID_Continue --fst-dir tests/fst
- run: ucd-generate property-bool UCD --include ID_Start,ID_Continue --trie-set > tests/trie/trie.rs
- run: cargo run --manifest-path generate/Cargo.toml
- run: rm -rf UCD UCD.zip
- uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 id: app-token
with:
client-id: ${{ secrets.APP_ID }}
private-key: ${{ secrets.APP_PRIVATE_KEY }}
- uses: peter-evans/create-pull-request@5f6978faf089d4d20b00c7766989d076bb2fc7f1 with:
token: ${{ steps.app-token.outputs.token }}
commit-message: Update Unicode
base: main
title: Update Unicode
assignees: Boshen