Make TLA workbenches Codex ready #17
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Validate | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| validate: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Ignore local runner file mode noise | |
| run: git config core.fileMode false | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| - name: Shell syntax checks | |
| run: | | |
| set -euo pipefail | |
| bash -n scripts/read_version.sh | |
| bash -n scripts/sync_version.sh | |
| bash -n scripts/sync_claude_plugin_skills.sh | |
| bash -n scripts/validate_claude_plugin.sh | |
| bash -n scripts/validate_codex_plugin.sh | |
| bash -n scripts/tests/version_sync_test.sh | |
| - name: Validate portable skill pack | |
| run: npx -y skills add . --list | |
| - name: Run version sync regression test | |
| run: ./scripts/tests/version_sync_test.sh | |
| - name: Sync release version into manifests | |
| run: ./scripts/sync_version.sh | |
| - name: Sync generated Claude plugin skills | |
| run: ./scripts/sync_claude_plugin_skills.sh | |
| - name: Check generated plugin skills are committed | |
| run: git diff --exit-code -- plugins/tla-workbenches/skills | |
| - name: Validate Claude plugin metadata and generated skills | |
| run: ./scripts/validate_claude_plugin.sh | |
| - name: Validate Codex plugin metadata and generated skills | |
| run: ./scripts/validate_codex_plugin.sh |