Skip to content

Actions: nyx-space/hifitime

Actions

Kani Formal Verification Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani-builder.yml
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #433 from nyx-space/fix-gh-432-duration-constructors Kani Formal Verification Build #80: Commit f442820 pushed by ChristopherRabotin
1m 48s master
master
1m 48s
Jules PR Kani Formal Verification Build #79: Pull request #433 opened by google-labs-jules bot
1m 25s fix-gh-432-duration-constructors
fix-gh-432-duration-constructors
1m 25s
Merge pull request #431 from nyx-space/dependabot/cargo/pyo3-0.27.0 Kani Formal Verification Build #78: Commit d10a66e pushed by ChristopherRabotin
10m 51s master
master
10m 51s
Update pyo3 requirement from 0.26.0 to 0.27.0 Kani Formal Verification Build #77: Pull request #431 opened by dependabot bot
1m 4s dependabot/cargo/pyo3-0.27.0
dependabot/cargo/pyo3-0.27.0
1m 4s
Merge pull request #430 from nyx-space/feat/utc-aware-datetime Kani Formal Verification Build #76: Commit a575b78 pushed by ChristopherRabotin
1m 11s 4.2.2
4.2.2
1m 11s
Merge pull request #430 from nyx-space/feat/utc-aware-datetime Kani Formal Verification Build #75: Commit a575b78 pushed by ChristopherRabotin
1m 2s master
master
1m 2s
feat: Allow UTC-aware datetimes in Epoch.fromdatetime Kani Formal Verification Build #74: Pull request #430 synchronize by ChristopherRabotin
1m 6s feat/utc-aware-datetime
feat/utc-aware-datetime
1m 6s
feat: Allow UTC-aware datetimes in Epoch.fromdatetime Kani Formal Verification Build #73: Pull request #430 synchronize by ChristopherRabotin
1m 7s feat/utc-aware-datetime
feat/utc-aware-datetime
1m 7s
feat: Allow UTC-aware datetimes in Epoch.fromdatetime Kani Formal Verification Build #72: Pull request #430 opened by ChristopherRabotin
1m 8s feat/utc-aware-datetime
feat/utc-aware-datetime
1m 8s
Merge pull request #429 from translunar/juno/hifitime-428 Kani Formal Verification Build #71: Commit 99ff044 pushed by ChristopherRabotin
1m 6s master
master
1m 6s
Attempt to expose Ut1Provider to Python Kani Formal Verification Build #70: Pull request #429 synchronize by ChristopherRabotin
1m 3s translunar:juno/hifitime-428
translunar:juno/hifitime-428
1m 3s
Attempt to expose Ut1Provider to Python Kani Formal Verification Build #69: Pull request #429 synchronize by ChristopherRabotin
1m 18s translunar:juno/hifitime-428
translunar:juno/hifitime-428
1m 18s
Attempt to expose Ut1Provider to Python Kani Formal Verification Build #68: Pull request #429 synchronize by ChristopherRabotin
1m 27s translunar:juno/hifitime-428
translunar:juno/hifitime-428
1m 27s
Attempt to expose Ut1Provider to Python Kani Formal Verification Build #67: Pull request #429 opened by translunar
1m 29s translunar:juno/hifitime-428
translunar:juno/hifitime-428
1m 29s
Merge pull request #424 from J-Westin/421-python-ephemeris-todatetime Kani Formal Verification Build #66: Commit eb3de26 pushed by ChristopherRabotin
1m 13s master
master
1m 13s
Fix conversion from Ephemeris Time to datetime Kani Formal Verification Build #65: Pull request #424 opened by J-Westin
1m 7s J-Westin:421-python-ephemeris-todatetime
J-Westin:421-python-ephemeris-todatetime
1m 7s
Merge pull request #423 from J-Westin/const-constructors Kani Formal Verification Build #64: Commit f8d0f52 pushed by ChristopherRabotin
1m 9s 4.2.1
4.2.1
1m 9s
Merge pull request #423 from J-Westin/const-constructors Kani Formal Verification Build #63: Commit f8d0f52 pushed by ChristopherRabotin
1m 37s master
master
1m 37s
Make unit constructors for Duration const-compatible Kani Formal Verification Build #62: Pull request #423 synchronize by J-Westin
1m 10s J-Westin:const-constructors
J-Westin:const-constructors
1m 10s
Make unit constructors for Duration const-compatible Kani Formal Verification Build #61: Pull request #423 synchronize by J-Westin
1m 9s J-Westin:const-constructors
J-Westin:const-constructors
1m 9s
Make unit constructors for Duration const-compatible Kani Formal Verification Build #60: Pull request #423 synchronize by J-Westin
1m 13s J-Westin:const-constructors
J-Westin:const-constructors
1m 13s
Make unit constructors for Duration const-compatible Kani Formal Verification Build #56: Pull request #423 synchronize by J-Westin
1m 9s J-Westin:const-constructors
J-Westin:const-constructors
1m 9s
Make unit constructors for Duration const-compatible Kani Formal Verification Build #55: Pull request #423 opened by J-Westin
1m 14s J-Westin:const-constructors
J-Westin:const-constructors
1m 14s
Merge pull request #420 from nyx-space/dependabot/cargo/pyo3-0.26.0 Kani Formal Verification Build #54: Commit f1b98be pushed by ChristopherRabotin
10m 6s master
master
10m 6s
Merge pull request #419 from FusRoman/ut1-borrowed Kani Formal Verification Build #53: Commit aa4e5ae pushed by ChristopherRabotin
1m 8s 4.2.0
4.2.0
1m 8s