Skip to content
CI

chore(ci): update certora cli to latest version #176

Sign in to view logs

chore(ci): update certora cli to latest version

chore(ci): update certora cli to latest version #176

Triggered via push January 13, 2025 14:52
@0x-r4bbit0x-r4bbit
pushed c661b9e
main
Status Success
Total duration 6m 0s
Artifacts –

test.yml

on: push
lint
2m 40s
lint
build
31s
build
test
25s
test
coverage
19s
coverage
verify
3m 2s
verify
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636