Skip to content
certora-review-execution-chain

Certora #117

Sign in to view logs

Certora

Certora #117

Triggered via pull request December 3, 2024 16:23
@nisnislevinisnislevi
synchronize #6
certora
Status Cancelled
Total duration 22m 1s
Artifacts –

certora-review-execution-chain.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

27 errors and 5 warnings
verify (verifyPayloadsController.conf --rule queuedAt_is_zero_before_queued_state_variable execut...
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executed_after_queue_state_variable zero_executedAt_...
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executedAt_is_zero_before_executed)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executor_isnt_used_twice executor_of_level_null_is_z...
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executed_when_in_queued_state executed_when_in_queue...
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule action_immutable_check_only_fixed_size_fields)
The operation was canceled.
verify (verifyPayloadsController.conf --rule nonempty_actions)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule nonempty_actions)
The operation was canceled.
verify (verifyPayloadsController.conf --rule payload_delay_within_range)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule payload_delay_within_range)
The operation was canceled.
verify (verifyPayloadsController.conf --rule executor_exists_iff_action_not_null)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executor_exists_iff_action_not_null)
The operation was canceled.
verify (verifyPayloadsController.conf --rule executor_exists_after_createPayload)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executor_exists_after_createPayload)
The operation was canceled.
verify (verifyPayloadsController.conf --rule executor_exists_if_action_not_null)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executor_exists_if_action_not_null)
The operation was canceled.
verify (verifyPayloadsController.conf --rule action_signature_immutable)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule action_signature_immutable)
The operation was canceled.
verify (verifyPayloadsController.conf --rule executor_exists_only_if_action_not_null)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule executor_exists_only_if_action_not_null)
The operation was canceled.
verify (verifyPayloadsController.conf --rule action_access_level_isnt_null_after_createPayload)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule action_access_level_isnt_null_after_createPayload)
The operation was canceled.
verify (verifyPayloadsController.conf --rule payload_maximal_access_level_gt_action_access_level ...
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule payload_maximal_access_level_gt_action_access_level ...
The operation was canceled.
verify (verifyPayloadsController.conf --rule action_callData_immutable)
The run was canceled by @nisnislevi.
verify (verifyPayloadsController.conf --rule action_callData_immutable)
The operation was canceled.
verify (verifyPayloadsController.conf --rule executor_of_maximumAccessLevelRequired_exists_after_...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPayloadsController.conf --rule zero_executedAt_if_not_executed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPayloadsController.conf --rule null_access_level_iff_state_is_none)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPayloadsController.conf --rule executor_of_maximumAccessLevelRequired_exists)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPayloadsController.conf --rule delay_of_executor_of_max_access_level_within_range)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636