Skip to content
Formal Verification Workflow

MJD/JDE UTC fix + to_time_scale now available in Python #528

Sign in to view logs

MJD/JDE UTC fix + to_time_scale now available in Python

MJD/JDE UTC fix + to_time_scale now available in Python #528

Re-run triggered October 7, 2024 02:58
@ChristopherRabotinChristopherRabotin
#332
gh-331-in-time-scale-python
Status Success
Total duration 6h 0m 23s
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 10 has exceeded the maximum execution time of 360 minutes.