[yordis]

• Upstream republished the rolling v1.8.0 tla2tools.jar, so every bounded contract check fails closed on the old checksum and blocks all open PRs.
• The new jar was checked against the release asset digest and its manifest revision, one upstream commit past the old pin that only touches their release workflow.

[cursor]

PR Summary

Low Risk
Only changes the verified jar pin and documentation comment; no runtime or application logic is modified.

Overview
Updates the pinned SHA256 and upstream commit in scripts/ensure-tla-tools.sh so CI can fetch and verify the current rolling v1.8.0 tla2tools.jar again.

Upstream republished the release asset with a new digest; the old pin caused checksum verification to fail closed and block spec/contract checks that depend on this script (e.g. via scripts/run-spec.sh).

^{Reviewed by Cursor Bugbot for commit 49215de. Bugbot is set up for automated code reviews on this repo. Configure here.}

[coderabbitai]

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 49 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: 59aaf2ef-4ab9-47bc-8fcb-31b56e1b7932

📥 Commits

Reviewing files that changed from the base of the PR and between 3c33ecc and 49215de.

📒 Files selected for processing: 1

• scripts/ensure-tla-tools.sh

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}