Skip to content
formal verification

use diem with test natives exposed #1060

Sign in to view logs

use diem with test natives exposed

use diem with test natives exposed #1060

Triggered via push September 5, 2024 15:03
@0o-de-lally0o-de-lally
pushed 2b25e1d
ci-bins-update
Status Cancelled
Total duration 4m 44s
Artifacts –

formal.yaml

on: push
formal
4m 34s
formal
Fit to window
Zoom out
Zoom in

Annotations

2 errors
formal
The run was canceled by @0o-de-lally.
formal
The operation was canceled.