Skip to content
CI

Certora rules and migration fixes #55

Sign in to view logs

Certora rules and migration fixes

Certora rules and migration fixes #55

Triggered via pull request January 24, 2024 15:08
@3esmit3esmit
opened #47
fix-migration
Status Failure
Total duration 40s
Artifacts –

ci.yml

on: pull_request
lint
25s
lint
build
12s
build
test
0s
test
coverage
0s
coverage
verify
0s
verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Process completed with exit code 1.
lint
Process completed with exit code 1.