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 runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use const initializers instead of once_cell Kani CI #695: Pull request #520 opened by Expyron
June 14, 2025 16:41 Action required Expyron:main
Expyron:main
June 14, 2025 16:41 Action required
feat: impl Expiry for some types Kani CI #694: Pull request #519 opened by koushiro
June 13, 2025 05:28 Action required koushiro-contrib:impl-expiry-for
koushiro-contrib:impl-expiry-for
June 13, 2025 05:28 Action required
Merge pull request #504 from moka-rs/remove-paste-crate Kani CI #689: Commit 8dbc8e5 pushed by tatsuya6502
May 8, 2025 22:54 1m 14s main
main
May 8, 2025 22:54 1m 14s
Merge pull request #513 from moka-rs/fix-ci-2025-05-09/v0.12 Kani CI #688: Commit a8af61e pushed by tatsuya6502
May 8, 2025 22:52 1m 7s main
main
May 8, 2025 22:52 1m 7s
CI: Fix Kani and Clippy tests Kani CI #687: Pull request #513 synchronize by tatsuya6502
May 8, 2025 22:26 5m 17s fix-ci-2025-05-09/v0.12
fix-ci-2025-05-09/v0.12
May 8, 2025 22:26 5m 17s
Rephrase some comments (suggested by GH Copilot) Kani CI #686: Commit a79b70c pushed by tatsuya6502
May 8, 2025 22:26 2m 52s fix-ci-2025-05-09/v0.12
fix-ci-2025-05-09/v0.12
May 8, 2025 22:26 2m 52s
Merge pull request #512 from brownjohnf/remove-thiserror Kani CI #685: Commit 15bf001 pushed by tatsuya6502
May 8, 2025 22:19 2m 10s main
main
May 8, 2025 22:19 2m 10s
CI: Fix Kani and Clippy tests Kani CI #684: Pull request #513 opened by tatsuya6502
May 8, 2025 22:16 1m 22s fix-ci-2025-05-09/v0.12
fix-ci-2025-05-09/v0.12
May 8, 2025 22:16 1m 22s
CI: Fix Kani test by upgrading Ubuntu from 20.04 to the latest LTS Kani CI #683: Commit 39599dc pushed by tatsuya6502
May 8, 2025 22:14 1m 14s fix-ci-2025-05-09/v0.12
fix-ci-2025-05-09/v0.12
May 8, 2025 22:14 1m 14s
Merge pull request #505 from qti3e/main Kani CI #682: Commit 094ca71 pushed by tatsuya6502
May 8, 2025 21:48 13s main
main
May 8, 2025 21:48 13s
Replace thiserror usage with manual impl Kani CI #681: Pull request #512 opened by brownjohnf
May 8, 2025 16:15 7m 1s brownjohnf:remove-thiserror
brownjohnf:remove-thiserror
May 8, 2025 16:15 7m 1s
Merge pull request #509 from thomaseizinger/chore/loom-dev-dependency Kani CI #679: Commit fd47f88 pushed by tatsuya6502
May 8, 2025 14:27 12s main
main
May 8, 2025 14:27 12s
Switch loom to a dev-dependency Kani CI #678: Pull request #509 opened by thomaseizinger
April 20, 2025 23:18 15s thomaseizinger:chore/loom-dev-dependency
thomaseizinger:chore/loom-dev-dependency
April 20, 2025 23:18 15s
Remove unmaintained paste crate from the dev-dependencies Kani CI #674: Pull request #504 synchronize by tatsuya6502
March 9, 2025 12:10 1m 18s remove-paste-crate
remove-paste-crate
March 9, 2025 12:10 1m 18s
Refactoring - Rename variables in test macros to improve readability Kani CI #673: Commit a899d90 pushed by tatsuya6502
March 9, 2025 12:10 17s remove-paste-crate
remove-paste-crate
March 9, 2025 12:10 17s
Remove unmaintained paste crate from the dev-dependencies Kani CI #672: Pull request #504 synchronize by tatsuya6502
March 9, 2025 11:51 2m 5s remove-paste-crate
remove-paste-crate
March 9, 2025 11:51 2m 5s
Remove unmaintained paste crate from the dev-dependencies Kani CI #671: Pull request #504 opened by tatsuya6502
March 9, 2025 03:01 2m 35s remove-paste-crate
remove-paste-crate
March 9, 2025 03:01 2m 35s
Remove unmaintained paste crate from the dev-dependencies Kani CI #670: Commit 2404823 pushed by tatsuya6502
March 9, 2025 03:00 2m 16s remove-paste-crate
remove-paste-crate
March 9, 2025 03:00 2m 16s
Merge pull request #500 from moka-rs/reorg-sync-base Kani CI #669: Commit e970c84 pushed by tatsuya6502
February 23, 2025 09:13 13s main
main
February 23, 2025 09:13 13s
Refactoring: Reorganize directory structure Kani CI #668: Pull request #500 opened by tatsuya6502
February 23, 2025 08:51 1m 2s reorg-sync-base
reorg-sync-base
February 23, 2025 08:51 1m 2s
Reorganize directory structure Kani CI #667: Commit 5e8c1d6 pushed by tatsuya6502
February 23, 2025 08:48 1m 15s reorg-sync-base
reorg-sync-base
February 23, 2025 08:48 1m 15s
Merge pull request #499 from moka-rs/fix-ci-2025-02-23 Kani CI #666: Commit e7c25b0 pushed by tatsuya6502
February 23, 2025 08:43 14s main
main
February 23, 2025 08:43 14s
Fix a Clippy warning Kani CI #665: Pull request #499 opened by tatsuya6502
February 23, 2025 08:19 1m 9s fix-ci-2025-02-23
fix-ci-2025-02-23
February 23, 2025 08:19 1m 9s
Fix a Clippy warning Kani CI #664: Commit e88001a pushed by tatsuya6502
February 23, 2025 08:15 2m 9s fix-ci-2025-02-23
fix-ci-2025-02-23
February 23, 2025 08:15 2m 9s
Add the policy_snapshot method to get a snapshot of coldest and hottest entries Kani CI #663: Pull request #494 synchronize by tatsuya6502
February 16, 2025 09:34 1m 13s cold-entries
cold-entries
February 16, 2025 09:34 1m 13s
0