Skip to content

Actions: nyx-space/hifitime

Actions

Formal Verification Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal_verification.yml
232 workflow runs
232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement lossless From methods for Duration conversions Formal Verification Workflow #544: Pull request #342 synchronize by Wollaston
October 27, 2024 04:23 6h 0m 47s Wollaston:master
Wollaston:master
October 27, 2024 04:23 6h 0m 47s
Implement lossless From methods for Duration conversions Formal Verification Workflow #543: Pull request #342 opened by Wollaston
October 19, 2024 20:01 6h 0m 24s Wollaston:master
Wollaston:master
October 19, 2024 20:01 6h 0m 24s
Merge pull request #339 from nyx-space/bypass-run-on-arch-ci-issue Formal Verification Workflow #542: Commit 2259f11 pushed by ChristopherRabotin
October 19, 2024 04:56 6h 0m 22s 4.0.0
4.0.0
October 19, 2024 04:56 6h 0m 22s
Merge pull request #339 from nyx-space/bypass-run-on-arch-ci-issue Formal Verification Workflow #541: Commit 2259f11 pushed by ChristopherRabotin
October 19, 2024 04:52 8m 14s master
master
October 19, 2024 04:52 8m 14s
Disable run on arch Formal Verification Workflow #540: Pull request #339 opened by ChristopherRabotin
October 19, 2024 03:30 6h 0m 25s bypass-run-on-arch-ci-issue
bypass-run-on-arch-ci-issue
October 19, 2024 03:30 6h 0m 25s
Merge pull request #338 from nyx-space/v4-readme Formal Verification Workflow #539: Commit 84cb8d6 pushed by ChristopherRabotin
October 19, 2024 02:20 59m 12s master
master
October 19, 2024 02:20 59m 12s
V4 readme Formal Verification Workflow #538: Pull request #338 opened by ChristopherRabotin
October 19, 2024 02:16 1h 3m 11s v4-readme
v4-readme
October 19, 2024 02:16 1h 3m 11s
Merge pull request #335 from nyx-space/304-python-submodule-to-suppor… Formal Verification Workflow #537: Commit cdcbc9f pushed by ChristopherRabotin
October 14, 2024 01:11 6h 0m 23s master
master
October 14, 2024 01:11 6h 0m 23s
Add IDE type hints to hiftime Python module Formal Verification Workflow #536: Pull request #335 synchronize by ChristopherRabotin
October 14, 2024 00:15 6h 0m 25s 304-python-submodule-to-support-ide-type-hints
304-python-submodule-to-support-ide-type-hints
October 14, 2024 00:15 6h 0m 25s
Add IDE type hints to hiftime Python module Formal Verification Workflow #535: Pull request #335 opened by ChristopherRabotin
October 13, 2024 23:49 6h 0m 24s 304-python-submodule-to-support-ide-type-hints
304-python-submodule-to-support-ide-type-hints
October 13, 2024 23:49 6h 0m 24s
Merge pull request #333 from nyx-space/gh-185-py-datetime Formal Verification Workflow #534: Commit 70b3692 pushed by ChristopherRabotin
October 10, 2024 03:39 6h 2m 10s 4.0.0-beta
4.0.0-beta
October 10, 2024 03:39 6h 2m 10s
Merge pull request #333 from nyx-space/gh-185-py-datetime Formal Verification Workflow #533: Commit 70b3692 pushed by ChristopherRabotin
October 10, 2024 02:52 6h 0m 22s master
master
October 10, 2024 02:52 6h 0m 22s
Add Python datetime interop Formal Verification Workflow #532: Pull request #333 synchronize by ChristopherRabotin
October 10, 2024 02:36 6h 0m 27s gh-185-py-datetime
gh-185-py-datetime
October 10, 2024 02:36 6h 0m 27s
Merge pull request #332 from nyx-space/gh-331-in-time-scale-python Formal Verification Workflow #531: Commit 1033bb0 pushed by ChristopherRabotin
October 10, 2024 02:25 6h 0m 23s master
master
October 10, 2024 02:25 6h 0m 23s
Add Python datetime interop Formal Verification Workflow #530: Pull request #333 synchronize by ChristopherRabotin
October 10, 2024 02:24 6h 0m 25s gh-185-py-datetime
gh-185-py-datetime
October 10, 2024 02:24 6h 0m 25s
Add Python datetime interop Formal Verification Workflow #529: Pull request #333 opened by ChristopherRabotin
October 9, 2024 03:56 6h 0m 24s gh-185-py-datetime
gh-185-py-datetime
October 9, 2024 03:56 6h 0m 24s
MJD/JDE UTC fix + to_time_scale now available in Python Formal Verification Workflow #528: Pull request #332 synchronize by ChristopherRabotin
October 7, 2024 02:48 6h 0m 23s gh-331-in-time-scale-python
gh-331-in-time-scale-python
October 7, 2024 02:48 6h 0m 23s
MJD/JDE UTC fix + to_time_scale now available in Python Formal Verification Workflow #527: Pull request #332 opened by ChristopherRabotin
October 7, 2024 02:39 1m 44s gh-331-in-time-scale-python
gh-331-in-time-scale-python
October 7, 2024 02:39 1m 44s
Merge pull request #330 from nyx-space/dependabot/cargo/lexical-core-… Formal Verification Workflow #526: Commit 888d365 pushed by ChristopherRabotin
September 18, 2024 05:32 6h 0m 23s master
master
September 18, 2024 05:32 6h 0m 23s
Update lexical-core requirement from 0.8.5 to 1.0.1 Formal Verification Workflow #525: Pull request #330 synchronize by ChristopherRabotin
September 18, 2024 05:21 6h 0m 29s dependabot/cargo/lexical-core-1.0.1
dependabot/cargo/lexical-core-1.0.1
September 18, 2024 05:21 6h 0m 29s
Update lexical-core requirement from 0.8.5 to 1.0.1 Formal Verification Workflow #524: Pull request #330 opened by dependabot bot
September 16, 2024 11:58 6h 0m 25s dependabot/cargo/lexical-core-1.0.1
dependabot/cargo/lexical-core-1.0.1
September 16, 2024 11:58 6h 0m 25s
Use pyo3-stub-gen to support IDE type hints Formal Verification Workflow #523: Pull request #329 opened by cardigan1008
September 5, 2024 08:14 6h 0m 25s cardigan1008:python
cardigan1008:python
September 5, 2024 08:14 6h 0m 25s
[DRAFT] Durations are now zeptosecond counters (1e-21 second) Formal Verification Workflow #522: Pull request #326 synchronize by ChristopherRabotin
August 27, 2024 14:03 3m 56s feat/duration-i128-gh-186
feat/duration-i128-gh-186
August 27, 2024 14:03 3m 56s
[DRAFT] Durations are now zeptosecond counters (1e-21 second) Formal Verification Workflow #521: Pull request #326 synchronize by ChristopherRabotin
August 27, 2024 00:30 3m 13s feat/duration-i128-gh-186
feat/duration-i128-gh-186
August 27, 2024 00:30 3m 13s
[DRAFT] Durations are now zeptosecond counters (1e-21 second) Formal Verification Workflow #520: Pull request #326 synchronize by ChristopherRabotin
August 26, 2024 04:52 3m 5s feat/duration-i128-gh-186
feat/duration-i128-gh-186
August 26, 2024 04:52 3m 5s