Skip to content

Commit cd1db53

Browse files
attempting hyperlink fix
Getting strange failure during spelling check ... can't tell why, but perhaps nested parentheses are confusing it
1 parent f7ceafa commit cd1db53

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/prover/changelog/prover_changelog.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ Prover Release Notes
1515

1616
### CI/CD
1717
- [feat] The GitHub action now replaces active reviews within the same configurations.
18-
- [feat] Added GitHub Actions API support for cancelling jobs and refreshing job status. (This will require adding an additional workflow as described [here](https://github.com/Certora/certora-run-action/blob/main/README.md#certora-api-integration).)
18+
- [feat] Added GitHub Actions API support for cancelling jobs and refreshing job status. This will require adding an additional workflow as described [here](https://github.com/Certora/certora-run-action/blob/main/README.md#certora-api-integration).
1919
- [feat] Added support for [Solana](https://github.com/Certora/certora-run-action/blob/main/README.md#inputs), [Sui](https://github.com/Certora/certora-run-action/blob/main/README.md#-note-installing-the-sui-cli), [Soroban](https://github.com/Certora/certora-run-action/blob/main/README.md#-note-installing-the-soroban-environment) and [Vyper](https://github.com/Certora/certora-run-action/blob/main/README.md#inputs).
2020
- [feat] Improved error logging by GitHub action.
2121

0 commit comments

Comments
 (0)