Skip to content
certora-solvency

fix: add changeset #8

Sign in to view logs

fix: add changeset

fix: add changeset #8

Triggered via push August 7, 2025 19:23
@sakulstrasakulstra
pushed 95eb3dd
main
Status Cancelled
Total duration 2m 46s
Artifacts 1

certora-solvency.yml

on: push
verify
2m 41s
verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors
verify
The operation was canceled.
verify
Canceling since a higher priority waiting request for certora-solvency-refs/heads/main exists
certora-solvency
Canceling since a higher priority waiting request for certora-solvency-refs/heads/main exists

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-980cb243-42d7-46f8-b5f5-1eb61d3fd0c0-16813822790 Expired
31 KB
sha256:e25253d151498239115a6b6385c529baf8d4fef8f596ba00064b9dc4747a3e74