Skip to content

Actions: moka-rs/moka

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Kani.yml
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #135: Pull request #309 synchronize by tatsuya6502
August 26, 2023 16:32 2m 34s async-cancellation-safety
async-cancellation-safety
August 26, 2023 16:32 2m 34s
Improve async cancellation safety of future::Cache Kani CI #134: Commit eef7157 pushed by tatsuya6502
August 26, 2023 16:32 2m 49s async-cancellation-safety
async-cancellation-safety
August 26, 2023 16:32 2m 49s
Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #133: Pull request #309 synchronize by tatsuya6502
August 26, 2023 15:13 6m 56s async-cancellation-safety
async-cancellation-safety
August 26, 2023 15:13 6m 56s
Improve async cancellation safety of future::Cache Kani CI #132: Commit 3fcb35a pushed by tatsuya6502
August 26, 2023 15:13 1m 16s async-cancellation-safety
async-cancellation-safety
August 26, 2023 15:13 1m 16s
Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #131: Pull request #309 synchronize by tatsuya6502
August 26, 2023 13:56 3m 7s async-cancellation-safety
async-cancellation-safety
August 26, 2023 13:56 3m 7s
Improve async cancellation safety of future::Cache Kani CI #130: Commit 4194759 pushed by tatsuya6502
August 26, 2023 13:56 1m 33s async-cancellation-safety
async-cancellation-safety
August 26, 2023 13:56 1m 33s
Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #129: Pull request #309 synchronize by tatsuya6502
August 26, 2023 11:23 3m 12s async-cancellation-safety
async-cancellation-safety
August 26, 2023 11:23 3m 12s
Improve async cancellation safety of future::Cache Kani CI #128: Commit 4b85133 pushed by tatsuya6502
August 26, 2023 11:23 1m 23s async-cancellation-safety
async-cancellation-safety
August 26, 2023 11:23 1m 23s
Merge pull request #310 from moka-rs/fix-ci-2023-08-v012 Kani CI #127: Commit 234a728 pushed by github-merge-queue bot
August 26, 2023 00:29 2m 18s main
main
August 26, 2023 00:29 2m 18s
rustfmt and clippy (v0.12.x) Kani CI #126: Pull request #310 opened by tatsuya6502
August 25, 2023 23:44 1m 25s fix-ci-2023-08-v012
fix-ci-2023-08-v012
August 25, 2023 23:44 1m 25s
rustfmt and clippy Kani CI #125: Commit 4460d44 pushed by tatsuya6502
August 25, 2023 23:42 2m 17s fix-ci-2023-08-v012
fix-ci-2023-08-v012
August 25, 2023 23:42 2m 17s
Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #124: Pull request #309 opened by tatsuya6502
August 23, 2023 00:43 20m 28s async-cancellation-safety
async-cancellation-safety
August 23, 2023 00:43 20m 28s
Async cancellation safety Kani CI #123: Commit 54ab77b pushed by tatsuya6502
August 23, 2023 00:41 5m 41s async-cancellation-safety
async-cancellation-safety
August 23, 2023 00:41 5m 41s
Async cancellation safety Kani CI #122: Commit 45a3d00 pushed by tatsuya6502
August 23, 2023 00:39 1m 14s async-cancellation-safety
async-cancellation-safety
August 23, 2023 00:39 1m 14s
Merge pull request #308 from moka-rs/remove-thread-pool-from-future-c… Kani CI #121: Commit 6b045b6 pushed by github-merge-queue bot
August 23, 2023 00:28 1m 24s main
main
August 23, 2023 00:28 1m 24s
Remove the thread pool from future::Cache (follow up) Kani CI #120: Pull request #308 opened by tatsuya6502
August 23, 2023 00:04 2m 2s remove-thread-pool-from-future-cache-2
remove-thread-pool-from-future-cache-2
August 23, 2023 00:04 2m 2s
(Replaced) Improve async cancellation safety of future::Cache (v0.12.0-beta.X) Kani CI #119: Pull request #307 opened by tatsuya6502
August 22, 2023 23:43 8m 52s async-cancellation-safety
async-cancellation-safety
August 22, 2023 23:43 8m 52s
Remove the thread pool from future::Cache Kani CI #118: Commit 6a9ba9a pushed by tatsuya6502
August 22, 2023 23:40 1m 17s async-cancellation-safety
async-cancellation-safety
August 22, 2023 23:40 1m 17s
Merge pull request #294 from moka-rs/remove-thread-pool-from-future-c… Kani CI #117: Commit 1da63c8 pushed by github-merge-queue bot
August 22, 2023 14:24 1m 7s main
main
August 22, 2023 14:24 1m 7s
Remove the thread pool from future::Cache Kani CI #116: Pull request #294 synchronize by tatsuya6502
August 22, 2023 13:57 2m 49s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 13:57 2m 49s
Allow clippy::option_env_unwrap Kani CI #115: Commit 9e35a47 pushed by tatsuya6502
August 22, 2023 13:57 1m 17s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 13:57 1m 17s
Remove the thread pool from future::Cache Kani CI #114: Pull request #294 synchronize by tatsuya6502
August 22, 2023 13:31 9m 59s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 13:31 9m 59s
Remove the thread pool from future::Cache Kani CI #113: Commit a0c6c23 pushed by tatsuya6502
August 22, 2023 13:31 1m 45s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 13:31 1m 45s
Remove the thread pool from future::Cache Kani CI #112: Pull request #294 synchronize by tatsuya6502
August 22, 2023 00:12 2m 44s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 00:12 2m 44s
Remove the thread pool from future::Cache Kani CI #111: Commit 460692e pushed by tatsuya6502
August 22, 2023 00:12 1m 41s remove-thread-pool-from-future-cache
remove-thread-pool-from-future-cache
August 22, 2023 00:12 1m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-08-22 or the other filters available.