Skip to content
Formal Verification Workflow

Merge pull request #339 from nyx-space/bypass-run-on-arch-ci-issue #541

Sign in to view logs

Merge pull request #339 from nyx-space/bypass-run-on-arch-ci-issue

Merge pull request #339 from nyx-space/bypass-run-on-arch-ci-issue #541

Triggered via push October 19, 2024 04:52
@ChristopherRabotinChristopherRabotin
pushed 2259f11
master
Status Cancelled
Total duration 8m 14s
Artifacts –

formal_verification.yml

on: push
Formal Verification
8m 6s
Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
Formal Verification
The run was canceled by @ChristopherRabotin.