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

Fix Miri error (Stacked Borrow violation) in the test code of the timer wheel Kani CI #460: Pull request #416 opened by tatsuya6502
April 11, 2024 10:29 5m 58s fix-stacked-borrow-violation
fix-stacked-borrow-violation
April 11, 2024 10:29 5m 58s
Fix Miri error (Stacked Borrow violation) in the test code of the tim… Kani CI #459: Commit 7879dde pushed by tatsuya6502
April 11, 2024 10:27 1m 13s fix-stacked-borrow-violation
fix-stacked-borrow-violation
April 11, 2024 10:27 1m 13s
Merge pull request #415 from moka-rs/avoid-async-scheduler-busy-loop Kani CI #458: Commit 2f23e5c pushed by tatsuya6502
April 11, 2024 10:18 15s main
main
April 11, 2024 10:18 15s
Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op Kani CI #457: Pull request #415 synchronize by tatsuya6502
April 11, 2024 01:58 1m 16s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 11, 2024 01:58 1m 16s
Update the changelog Kani CI #456: Commit c50d186 pushed by tatsuya6502
April 11, 2024 01:58 15s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 11, 2024 01:58 15s
Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op Kani CI #455: Pull request #415 synchronize by tatsuya6502
April 11, 2024 01:21 1m 24s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 11, 2024 01:21 1m 24s
Prevent the busy loop of async schedulers Kani CI #454: Commit 8805940 pushed by tatsuya6502
April 11, 2024 01:21 17s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 11, 2024 01:21 17s
Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op Kani CI #453: Pull request #415 synchronize by tatsuya6502
April 10, 2024 13:46 1m 15s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 10, 2024 13:46 1m 15s
Fix typos in comments Kani CI #452: Commit dc960af pushed by tatsuya6502
April 10, 2024 13:46 18s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 10, 2024 13:46 18s
Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op Kani CI #451: Pull request #415 opened by tatsuya6502
April 10, 2024 11:15 1m 21s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 10, 2024 11:15 1m 21s
Prevent the busy loop of async schedulers Kani CI #450: Commit 5996c87 pushed by tatsuya6502
April 10, 2024 11:10 1m 43s avoid-async-scheduler-busy-loop
avoid-async-scheduler-busy-loop
April 10, 2024 11:10 1m 43s
Merge pull request #413 from moka-rs/fix-ci-2024-04-10/v0.12 Kani CI #449: Commit 6ba5445 pushed by tatsuya6502
April 10, 2024 10:48 15s main
main
April 10, 2024 10:48 15s
Fix Clippy warnings (v0.12.x) Kani CI #448: Pull request #413 opened by tatsuya6502
April 10, 2024 10:23 2m 49s fix-ci-2024-04-10/v0.12
fix-ci-2024-04-10/v0.12
April 10, 2024 10:23 2m 49s
Fix Clippy warnings Kani CI #447: Commit 4042c4a pushed by tatsuya6502
April 10, 2024 10:22 2m 34s fix-ci-2024-04-10/v0.12
fix-ci-2024-04-10/v0.12
April 10, 2024 10:22 2m 34s
Fix Clippy warnings Kani CI #446: Commit a0f81f7 pushed by tatsuya6502
April 10, 2024 10:16 1m 13s fix-ci-2024-04-10/v0.12
fix-ci-2024-04-10/v0.12
April 10, 2024 10:16 1m 13s
Merge pull request #400 from moka-rs/fix-ci/2024-02-10/v011 Kani CI #445: Commit beb692c pushed by tatsuya6502
February 11, 2024 01:14 14s v0.11.x
v0.11.x
February 11, 2024 01:14 14s
Merge pull request #401 from moka-rs/fix-ci/2024-02-10/v012-part2 Kani CI #444: Commit ae33f8d pushed by tatsuya6502
February 11, 2024 01:01 16s main
main
February 11, 2024 01:01 16s
Fix the cfg conditions for the doc tests on the README.md Kani CI #443: Pull request #401 opened by tatsuya6502
February 10, 2024 15:20 2m 10s fix-ci/2024-02-10/v012-part2
fix-ci/2024-02-10/v012-part2
February 10, 2024 15:20 2m 10s
Fix the cfg conditions for the doc tests on the README.md Kani CI #442: Commit 8980e0a pushed by tatsuya6502
February 10, 2024 15:18 1m 8s fix-ci/2024-02-10/v012-part2
fix-ci/2024-02-10/v012-part2
February 10, 2024 15:18 1m 8s
CI: Fix the CI (remove Skeptic etc.) for v0.11.x Kani CI #441: Pull request #400 opened by tatsuya6502
February 10, 2024 15:10 5m 28s fix-ci/2024-02-10/v011
fix-ci/2024-02-10/v011
February 10, 2024 15:10 5m 28s
Fix Clippy and compiler warnings Kani CI #440: Commit 13d45b3 pushed by tatsuya6502
February 10, 2024 15:08 1m 26s fix-ci/2024-02-10/v011
fix-ci/2024-02-10/v011
February 10, 2024 15:08 1m 26s
Merge pull request #399 from moka-rs/fix-ci/2024-02-10/v012 Kani CI #439: Commit d50bebd pushed by tatsuya6502
February 10, 2024 14:21 16s main
main
February 10, 2024 14:21 16s
CI: Fix the CI (remove Skeptic etc.) for v0.12.x Kani CI #438: Pull request #399 opened by tatsuya6502
February 10, 2024 12:56 1m 18s fix-ci/2024-02-10/v012
fix-ci/2024-02-10/v012
February 10, 2024 12:56 1m 18s
Fix the CI for nightly + minimal crate versions Kani CI #437: Commit c6427b8 pushed by tatsuya6502
February 10, 2024 12:25 1m 15s fix-ci/2024-02-10/v012
fix-ci/2024-02-10/v012
February 10, 2024 12:25 1m 15s
Update the doc tests on the README.md by replacing Skeptic with Kani CI #436: Commit d36558a pushed by tatsuya6502
February 10, 2024 11:36 1m 7s fix-ci/2024-02-10/v012
fix-ci/2024-02-10/v012
February 10, 2024 11:36 1m 7s