Skip to content
Formal Verification Workflow

Fix conversion to Gregorian #466

Sign in to view logs

Fix conversion to Gregorian

Fix conversion to Gregorian #466

Triggered via pull request May 20, 2024 00:35
@ChristopherRabotinChristopherRabotin
synchronize #303
bug/261-jde_utc_days-error
Status Success
Total duration 6h 0m 32s
Artifacts –

formal_verification.yml

on: pull_request
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 3 has exceeded the maximum execution time of 360 minutes.