Releases: runtimeverification/kontrol-cheatcodes
Releases · runtimeverification/kontrol-cheatcodes
cb50e05
c2bdec7
add fresh* cheatcodes with string args (#16)
f42ba5f: Add forgetBranch cheatcode (#15)
* add forgetBranch cheatcode * Update src/IKontrolCheatsBase.sol --------- Co-authored-by: Petar Maksimović <[email protected]>
9b70241
Make `freshBool` return `bool` instead of `uint256` (#13)
61a5df7: Updating Soldeer Release with a Version to a specific project (#12)
* modified: .github/workflows/master-push.yml - Add additional argument to set the version of the pushed soldeer account new file: .gitignore - Ignore the zip archive produced by soldeer push dry-run mode modified: scripts/soldeer_publish.expect - Update expect script to use an additional argument for setting the pushed version of the cheatcodes to soldeer * modified: ../.github/workflows/master-push.yml - Soldeer push will now only push the sol files found in src that are relevant to a release. - Fixes warnings and resolves the problem of trying to push while avoinding using --skip-warnings
bb7ec51: modified: .github/workflows/master-push.yml
- Fix the gh token variable name per documentation - Dry run with'act'. - Attempted to clean up providng rpoper tty env for manual inputs to soldeer/forge