Skip to content
Formal Verification Workflow

Merge pull request #333 from nyx-space/gh-185-py-datetime #534

Sign in to view logs

Merge pull request #333 from nyx-space/gh-185-py-datetime

Merge pull request #333 from nyx-space/gh-185-py-datetime #534

Triggered via push October 10, 2024 03:39
@ChristopherRabotinChristopherRabotin
pushed 70b3692
4.0.0-beta
Status Success
Total duration 6h 2m 10s
Artifacts –

formal_verification.yml

on: push
Formal Verification
6h 0m
Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
Formal Verification
The job running on runner GitHub Actions 6 has exceeded the maximum execution time of 360 minutes.