Skip to content

Actions: nyx-space/hifitime

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,177 workflow runs
1,177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #413 from nyx-space/prep-4.1.3
Python CI #691: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:33 54s 4.1.3
August 3, 2025 14:33 54s
Merge pull request #413 from nyx-space/prep-4.1.3
Benchmarks #693: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:33 5m 50s 4.1.3
August 3, 2025 14:33 5m 50s
Merge pull request #413 from nyx-space/prep-4.1.3
Kani Formal Verification Build #44: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:33 1m 22s 4.1.3
August 3, 2025 14:33 1m 22s
Merge pull request #413 from nyx-space/prep-4.1.3
Test Workflow #768: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:33 12m 9s 4.1.3
August 3, 2025 14:33 12m 9s
Merge pull request #413 from nyx-space/prep-4.1.3
Benchmarks #692: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:29 3m 40s master
August 3, 2025 14:29 3m 40s
Merge pull request #413 from nyx-space/prep-4.1.3
Kani Formal Verification Build #43: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:29 1m 2s master
August 3, 2025 14:29 1m 2s
Merge pull request #413 from nyx-space/prep-4.1.3
Python CI #690: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:29 10m 17s master
August 3, 2025 14:29 10m 17s
Merge pull request #413 from nyx-space/prep-4.1.3
Test Workflow #767: Commit c0c0688 pushed by ChristopherRabotin
August 3, 2025 14:29 10m 12s master
August 3, 2025 14:29 10m 12s
Version bump
Benchmarks #691: Pull request #413 opened by ChristopherRabotin
August 3, 2025 14:23 3m 41s prep-4.1.3
August 3, 2025 14:23 3m 41s
Version bump
Kani Formal Verification Build #42: Pull request #413 opened by ChristopherRabotin
August 3, 2025 14:23 1m 7s prep-4.1.3
August 3, 2025 14:23 1m 7s
Version bump
Python CI #689: Pull request #413 opened by ChristopherRabotin
August 3, 2025 14:23 9m 39s prep-4.1.3
August 3, 2025 14:23 9m 39s
Version bump
Test Workflow #766: Pull request #413 opened by ChristopherRabotin
August 3, 2025 14:23 8m 48s prep-4.1.3
August 3, 2025 14:23 8m 48s
Merge pull request #412 from nyx-space/to_gregorian_docs
Test Workflow #765: Commit d6ed0ee pushed by ChristopherRabotin
August 3, 2025 13:01 8m 39s master
August 3, 2025 13:01 8m 39s
Merge pull request #412 from nyx-space/to_gregorian_docs
Kani Formal Verification Build #41: Commit d6ed0ee pushed by ChristopherRabotin
August 3, 2025 13:01 1m 10s master
August 3, 2025 13:01 1m 10s
Merge pull request #412 from nyx-space/to_gregorian_docs
Python CI #688: Commit d6ed0ee pushed by ChristopherRabotin
August 3, 2025 13:01 10m 49s master
August 3, 2025 13:01 10m 49s
Merge pull request #412 from nyx-space/to_gregorian_docs
Benchmarks #690: Commit d6ed0ee pushed by ChristopherRabotin
August 3, 2025 13:01 3m 36s master
August 3, 2025 13:01 3m 36s
to_gregorian: nanoseconds field is not documented
Kani Formal Verification Build #40: Pull request #412 opened by gwbres
August 3, 2025 10:18 1m 42s to_gregorian_docs
August 3, 2025 10:18 1m 42s
to_gregorian: nanoseconds field is not documented
Python CI #687: Pull request #412 opened by gwbres
August 3, 2025 10:18 9m 16s to_gregorian_docs
August 3, 2025 10:18 9m 16s
to_gregorian: nanoseconds field is not documented
Test Workflow #764: Pull request #412 opened by gwbres
August 3, 2025 10:18 8m 52s to_gregorian_docs
August 3, 2025 10:18 8m 52s
to_gregorian: nanoseconds field is not documented
Benchmarks #689: Pull request #412 opened by gwbres
August 3, 2025 10:18 4m 11s to_gregorian_docs
August 3, 2025 10:18 4m 11s
Weekly Kani formal verifier Workflow
Weekly Kani formal verifier Workflow #9: Scheduled
August 3, 2025 00:00 57m 26s master
August 3, 2025 00:00 57m 26s
August 2, 2025 17:09 11m 9s
August 2, 2025 17:09 6m 52s
August 2, 2025 17:09 10m 51s
Merge pull request #411 from nyx-space/fix/gh440-prevent-leap-non-lea…
Kani Formal Verification Build #39: Commit b23307c pushed by ChristopherRabotin
August 2, 2025 17:09 5m 29s master
August 2, 2025 17:09 5m 29s