fix(tla-check): support TLC 1.7.4 (#17) #3
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: Release On Version Change | |
| on: | |
| push: | |
| branches: | |
| - main | |
| permissions: | |
| contents: write | |
| jobs: | |
| release: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Ignore local runner file mode noise | |
| run: git config core.fileMode false | |
| - name: Set up Node | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| - name: Detect VERSION changes in this push | |
| id: version_change | |
| env: | |
| BEFORE_SHA: ${{ github.event.before }} | |
| run: | | |
| set -euo pipefail | |
| if [[ "$BEFORE_SHA" == "0000000000000000000000000000000000000000" ]]; then | |
| changed="true" | |
| elif git diff --quiet "$BEFORE_SHA" "$GITHUB_SHA" -- VERSION; then | |
| changed="false" | |
| else | |
| changed="true" | |
| fi | |
| version="$(./scripts/read_version.sh)" | |
| { | |
| echo "changed=$changed" | |
| echo "version=$version" | |
| } >> "$GITHUB_OUTPUT" | |
| - name: Stop when VERSION was not changed | |
| if: steps.version_change.outputs.changed != 'true' | |
| run: | | |
| echo "VERSION did not change in this push; skipping release." | |
| - name: Configure git identity | |
| if: steps.version_change.outputs.changed == 'true' && github.server_url == 'https://github.com' | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| - name: Sync manifests and generated files | |
| if: steps.version_change.outputs.changed == 'true' | |
| run: | | |
| set -euo pipefail | |
| ./scripts/sync_version.sh | |
| ./scripts/sync_claude_plugin_skills.sh | |
| - name: Validate release state | |
| if: steps.version_change.outputs.changed == 'true' | |
| run: | | |
| set -euo pipefail | |
| npx -y skills add . --list | |
| ./scripts/tests/version_sync_test.sh | |
| git diff --exit-code -- plugins/tla-workbenches/skills | |
| ./scripts/validate_claude_plugin.sh | |
| ./scripts/validate_codex_plugin.sh | |
| - name: Commit synced metadata if needed | |
| if: steps.version_change.outputs.changed == 'true' && github.server_url == 'https://github.com' | |
| run: | | |
| set -euo pipefail | |
| if [[ "${AGENT_CI_LOCAL:-}" == "true" ]]; then | |
| echo "Agent CI local run; skipping release metadata commit." | |
| exit 0 | |
| fi | |
| version="$(./scripts/read_version.sh)" | |
| if git diff --quiet -- .claude-plugin/marketplace.json plugins/tla-workbenches/.claude-plugin/plugin.json plugins/tla-workbenches/.codex-plugin/plugin.json; then | |
| echo "No manifest sync commit needed." | |
| exit 0 | |
| fi | |
| git add .claude-plugin/marketplace.json plugins/tla-workbenches/.claude-plugin/plugin.json plugins/tla-workbenches/.codex-plugin/plugin.json | |
| git commit -m "chore(release): sync metadata for v${version}" | |
| git push origin HEAD:main | |
| - name: Create and push tag | |
| id: release_tag | |
| if: steps.version_change.outputs.changed == 'true' && github.server_url == 'https://github.com' | |
| run: | | |
| set -euo pipefail | |
| if [[ "${AGENT_CI_LOCAL:-}" == "true" ]]; then | |
| echo "Agent CI local run; skipping release tag publish." | |
| echo "created=false" >> "$GITHUB_OUTPUT" | |
| exit 0 | |
| fi | |
| tag_name="v$(./scripts/read_version.sh)" | |
| git fetch --tags --force origin | |
| if git ls-remote --tags origin "refs/tags/${tag_name}" | grep -q .; then | |
| echo "Tag already exists on origin: ${tag_name}; skipping release publish." | |
| echo "created=false" >> "$GITHUB_OUTPUT" | |
| exit 0 | |
| fi | |
| git tag -a "${tag_name}" -m "Release ${tag_name}" | |
| git push origin "refs/tags/${tag_name}" | |
| echo "created=true" >> "$GITHUB_OUTPUT" | |
| - name: Create GitHub release | |
| if: steps.release_tag.outputs.created == 'true' && github.server_url == 'https://github.com' | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| run: | | |
| set -euo pipefail | |
| if [[ "${AGENT_CI_LOCAL:-}" == "true" ]]; then | |
| echo "Agent CI local run; skipping GitHub release publish." | |
| exit 0 | |
| fi | |
| TAG_NAME="v$(./scripts/read_version.sh)" | |
| gh release create "${TAG_NAME}" \ | |
| --title "${TAG_NAME}" \ | |
| --generate-notes |