This PR modifies the behavior of the sync-pr bot. While the workflow still triggers daily to monitor the latest Solidity release, it will now only initiate sync-prs if a new release is detected. The new job compares the latest tagged release with the current release stored in this repository (initially set to 0.8.24). If they differ, it will then trigger the createPullRequest job to generate the sync PRs on the translation repositories and create another PR to this repo to update the current version to the latest release.
This PR modifies the behavior of the sync-pr bot. While the workflow still triggers daily to monitor the latest Solidity release, it will now only initiate sync-prs if a new release is detected. The new job compares the latest tagged release with the current release stored in this repository (initially set to
0.8.24). If they differ, it will then trigger thecreatePullRequestjob to generate the sync PRs on the translation repositories and create another PR to this repo to update the current version to the latest release.Fixes https://github.com/solidity-docs/.github/issues/22