8000 Kani CI · Workflow runs · moka-rs/moka · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: moka-rs/moka

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Kani.yml
200 workflow runs
200 workflow r 8000 uns

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Workaround for incorrect compilation of test code when using Rust 1.84.0 for Linux ARMv7 target Kani CI #637: Pull request #488 opened by tatsuya6502
January 12, 2025 07:29 1m 15s workaround-test-failure-on-linux-armv7
workaround-test-failure-on-linux-armv7
January 12, 2025 07:29 1m 15s
Rename the CI job for Loom from "CI" to "Loom" Kani CI #636: Commit acaa5ee pushed by tatsuya6502
January 12, 2025 07:27 1m 19s workaround-test-failure-on-linux-armv7
workaround-test-failure-on-linux-armv7
January 12, 2025 07:27 1m 19s
Put the troubleshooting section back in the README Kani CI #635: Pull request #486 synchronize by tatsuya6502
January 12, 2025 01:43 1m 16s troubleshooting-guide
troubleshooting-guide
January 12, 2025 01:43 1m 16s
Put the troubleshooting section back in the README Kani CI #634: Pull request #486 opened by tatsuya6502
January 12, 2025 01:27 1m 9s troubleshooting-guide
troubleshooting-guide
January 12, 2025 01:27 1m 9s
Update the copyright year Kani CI #633: Commit f615075 pushed by tatsuya6502
January 12, 2025 00:43 1m 16s troubleshooting-guide
troubleshooting-guide
January 12, 2025 00:43 1m 16s
Merge pull request #485 from moka-rs/fix-clippy-warnings/2025-01 Kani CI #632: Commit 513d88e pushed by tatsuya6502
January 11, 2025 13:53 14s main
main
January 11, 2025 13:53 14s
Fix a Clippy warning (Rust 1.85 beta) Kani CI #631: Pull request #485 opened by tatsuya6502
January 11, 2025 13:34 2m 2s fix-clippy-warnings/2025-01
fix-clippy-warnings/2025-01
January 11, 2025 13:34 2m 2s
Fix a Clippy warning (Rust 1.85 beta) Kani CI #630: Commit e05781b pushed by tatsuya6502
January 11, 2025 13:33 2m 3s fix-clippy-warnings/2025-01
fix-clippy-warnings/2025-01
January 11, 2025 13:33 2m 3s
Merge pull request #484 from moka-rs/fix-typos-rust-1-70 Kani CI #629: Commit d71400b pushed by tatsuya6502
January 6, 2025 01:16 19s main
main
January 6, 2025 01:16 10000 19s
Fix typos in the docs about the release date of Rust 1.70.0 Kani CI #628: Pull request #484 opened by tatsuya6502
January 6, 2025 00:45 1m 11s fix-typos-rust-1-70
fix-typos-rust-1-70
January 6, 2025 00:45 1m 11s
Fix typos in the docs about the release date of Rust 1.70.0 Kani CI #627: Commit 54c6956 pushed by tatsuya6502
January 6, 2025 00:31 1m 20s fix-typos-rust-1-70
fix-typos-rust-1-70
January 6, 2025 00:31 1m 20s
Merge pull request #483 from moka-rs/prepare-v0-12-10 Kani CI #626: Commit de0b2d6 pushed by tatsuya6502
January 6, 2025 00:17 1m 22s v0.12.10
v0.12.10
January 6, 2025 00:17 1m 22s
Merge pull request #482 from moka-rs/disable-quanta-by-default Kani CI #625: Commit 101e3a9 pushed by tatsuya6502
January 5, 2025 23:28 1m 9s main
main
January 5, 2025 23:28 1m 9s
Merge pull request #481 from moka-rs/increase-time-accuracy Kani CI #624: Commit 9764df5 pushed by tatsuya6502
January 5, 2025 23:25 13s main
main
January 5, 2025 23:25 13s
Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements Kani CI #623: Pull request #481 synchronize by tatsuya6502
January 5, 2025 14:43 1m 8s increase-time-accuracy
increase-time-accuracy
January 5, 2025 14:43 1m 8s
Minor tweaks in the clock module Kani CI #622: Commit 5d03e02 pushed by tatsuya6502
January 5, 2025 14:43 14s increase-time-accuracy
increase-time-accuracy
January 5, 2025 14:43 14s
Merge pull request #480 from moka-rs/portable-atomic Kani CI #621: Commit 5dbd7ab pushed by tatsuya6502
January 5, 2025 09:11 16s main
main
January 5, 2025 09:11 16s
Disable the quanta feature by default Kani CI #620: Pull request #482 synchronize by tatsuya6502
January 5, 2025 09:01 1m 46s disable-quanta-by-default
disable-quanta-by-default
January 5, 2025 09:01 1m 46s
Update the change log Kani CI #619: Commit f7d2d29 pushed by tatsuya6502
January 5, 2025 09:01 18s disable-quanta-by-default
disable-quanta-by-default
January 5, 2025 09:01 18s
Disable the quanta feature by default Kani CI #618: Pull request #482 opened by tatsuya6502
January 5, 2025 08:43 1m 7s disable-quanta-by-default
disable-quanta-by-default
January 5, 2025 08:43 1m 7s
Disable the quanta feature by default Kani CI #617: Commit 0a6b6a4 pushed by tatsuya6502
January 5, 2025 08:32 1m 13s disable-quanta-by-default
disable-quanta-by-default
January 5, 2025 08:32 1m 13s
Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements Kani CI #616: Pull request #481 synchronize by tatsuya6502
January 5, 2025 08:00 1m 15s increase-time-accuracy
increase-time-accuracy
January 5, 2025 08:00 1m 15s
Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements Kani CI #615: Pull request #481 synchronize by tatsuya6502
January 5, 2025 07:22 2m 11s increase-time-accuracy
increase-time-accuracy
January 5, 2025 07:22 2m 11s
Remove commented out codes Kani CI #614: Commit 668bdc0 pushed by tatsuya6502
January 5, 2025 07:22 18s increase-time-accuracy
increase-time-accuracy
January 5, 2025 07:22 18s
Add portable-atomic crate for the platforms where AtomicU64 is not available Kani CI #613: Pull request #480 synchronize by tatsuya6502
January 5, 2025 07:21 1m 7s portable-atomic
portable-atomic
January 5, 2025 07:21 1m 7s
0