Skip to content

fix: added error messages for passing oracles and references from unconstrained to constrained functions #8964

fix: added error messages for passing oracles and references from unconstrained to constrained functions

fix: added error messages for passing oracles and references from unconstrained to constrained functions #8964

Triggered via pull request March 18, 2024 19:03
@vezenovmvezenovm
synchronize #4570
Status Success
Total duration 16s
Artifacts

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
3s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
6s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in