Skip to content
formal verification

[deps] update to diem 1.6.2-rc.5 (#92) #24

Sign in to view logs

[deps] update to diem 1.6.2-rc.5 (#92)

[deps] update to diem 1.6.2-rc.5 (#92) #24

Triggered via push November 11, 2023 00:16
@0o-de-lally0o-de-lally
pushed 413ac79
release-6.9.0-rc.8
Status Success
Total duration 1m 37s
Artifacts –

formal.yaml

on: push
formal
1m 29s
formal
Fit to window
Zoom out
Zoom in