Update prover changelog for version 8.11.1#467
Merged
srunquist-certora merged 5 commits intorelease/version_8.11.0from Apr 21, 2026
Merged
Update prover changelog for version 8.11.1#467srunquist-certora merged 5 commits intorelease/version_8.11.0from
srunquist-certora merged 5 commits intorelease/version_8.11.0from
Conversation
Comment on lines
+16
to
+19
| ### CI/CD | ||
| - [feat] New Review Comment Features: `gh-review` indicates when to add a review comment to the PR with options `always`, `failure`, and `never` (default is `always`). `gh-review-jobs` indicates which jobs to include in the GitHub review comment with options `all` or `failed` (default is `all`). If `gh-review` is `never`, the status link points to a summary page like [this](https://prover.certora.com/v1/github-app/548812e5-3138-4e85-a4c5-af8164eb4086/jobs). This link only works for public repositories; private repositories still point to the Prover job page. We also added a new extensive [Troubleshooting section](https://github.com/Certora/certora-run-action/?tab=readme-ov-file#troubleshooting) to the documentation. | ||
|
|
||
|
|
Contributor
There was a problem hiding this comment.
We might want to dump it and link to our README
We add changelog and releases on an ongoing basis.
Collaborator
Author
There was a problem hiding this comment.
Good idea - I'll try it
Collaborator
Author
There was a problem hiding this comment.
Hmm, I don't see a user-friendly changelog in the repo. The release list is hard for a user to parse, I think.
@yoav-el-certora , is that what you meant?
yoav-el-certora
approved these changes
Mar 25, 2026
srunquist-certora
added a commit
that referenced
this pull request
Apr 21, 2026
* document `links` block (#464) * update tac dump image (#466) * Update prover changelog for version 8.11.3 (#467) * Update prover changelog for version 8.11.1 * Added feature notes * spelling fix * Add 'Dataflow' to spelling word list * Update version to 8.11.3 and set release date --------- Co-authored-by: Naftali Goldstein <44599898+naftali-g@users.noreply.github.com>
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Link to generated documentation:
https://certora-certora-prover-documentation--467.com.readthedocs.build/en/467/docs/prover/changelog/prover_changelog.html#april-21-2026