Skip to content
Formal Verification Workflow

Version bump: 4.0.1 #554

Sign in to view logs

Version bump: 4.0.1

Version bump: 4.0.1 #554

Triggered via push November 29, 2024 17:38
@ChristopherRabotinChristopherRabotin
pushed 2b15db8
4.0.1
Status Success
Total duration 6h 0m 24s
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 16 has exceeded the maximum execution time of 360 minutes.