Skip to content

Actions: moka-rs/moka

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Kani.yml
480 workflow runs
480 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable atomic64 only when target supports AtomicU64 Kani CI #565: Pull request #466 opened by zonyitoo
December 2, 2024 10:56 1m 30s zonyitoo:patch-1
zonyitoo:patch-1
December 2, 2024 10:56 1m 30s
Support and_try_compute_if_nobody_else Kani CI #564: Pull request #460 synchronize by xuehaonan27
November 6, 2024 07:31 Action required xuehaonan27:if-nobody-else
xuehaonan27:if-nobody-else
November 6, 2024 07:31 Action required
Merge pull request #463 from moka-rs/fix-ci/2024-11-03/v012 Kani CI #563: Commit 120f706 pushed by tatsuya6502
November 3, 2024 01:11 11s main
main
November 3, 2024 01:11 11s
Fix Clippy warnings and fix the CI for the minimal crate versions Kani CI #562: Pull request #463 opened by tatsuya6502
November 3, 2024 00:53 1m 18s fix-ci/2024-11-03/v012
fix-ci/2024-11-03/v012
November 3, 2024 00:53 1m 18s
Fix the CI for nightly + minimal crate versions Kani CI #561: Commit c84c857 pushed by tatsuya6502
November 3, 2024 00:48 1m 53s fix-ci/2024-11-03/v012
fix-ci/2024-11-03/v012
November 3, 2024 00:48 1m 53s
Support and_try_compute_if_nobody_else Kani CI #560: Pull request #460 opened by xuehaonan27
October 9, 2024 08:04 1m 14s xuehaonan27:if-nobody-else
xuehaonan27:if-nobody-else
October 9, 2024 08:04 1m 14s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #559: Pull request #456 synchronize by tatsuya6502
September 16, 2024 02:12 1m 16s mini-arc
mini-arc
September 16, 2024 02:12 1m 16s
Bring MiniArc, our own Arc implementation, from a separate crate … Kani CI #558: Commit 14651ee pushed by tatsuya6502
September 16, 2024 02:12 16s mini-arc
mini-arc
September 16, 2024 02:12 16s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #557: Pull request #456 synchronize by tatsuya6502
September 16, 2024 01:05 1m 1s mini-arc
mini-arc
September 16, 2024 01:05 1m 1s
Bump the version to v0.12.9 Kani CI #556: Commit 0ef051c pushed by tatsuya6502
September 16, 2024 01:05 17s mini-arc
mini-arc
September 16, 2024 01:05 17s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #555: Pull request #456 synchronize by tatsuya6502
September 14, 2024 16:52 1m 16s mini-arc
mini-arc
September 14, 2024 16:52 1m 16s
Apply cargo fmt Kani CI #554: Commit 2e463d3 pushed by tatsuya6502
September 14, 2024 16:52 12s mini-arc
mini-arc
September 14, 2024 16:52 12s
Merge pull request #458 from moka-rs/fix-ci/2024-09-15/v012 Kani CI #553: Commit 84acc73 pushed by tatsuya6502
September 14, 2024 16:49 18s main
main
September 14, 2024 16:49 18s
Fix the CI: 2024-09-15 v0.12.x Kani CI #552: Pull request #458 opened by tatsuya6502
September 14, 2024 16:31 5m 14s fix-ci/2024-09-15/v012
fix-ci/2024-09-15/v012
September 14, 2024 16:31 5m 14s
Move the check-cfg lint stuff from the build scritp to Cargo.toml Kani CI #551: Commit bd5e447 pushed by tatsuya6502
September 14, 2024 16:28 1m 5s fix-ci/2024-09-15/v012
fix-ci/2024-09-15/v012
September 14, 2024 16:28 1m 5s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #550: Pull request #456 synchronize by tatsuya6502
September 14, 2024 04:15 3m 24s mini-arc
mini-arc
September 14, 2024 04:15 3m 24s
Apply cargo fmt Kani CI #549: Commit e337163 pushed by tatsuya6502
September 14, 2024 04:15 12s mini-arc
mini-arc
September 14, 2024 04:15 12s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #548: Pull request #456 opened by tatsuya6502
September 14, 2024 04:12 2m 39s mini-arc
mini-arc
September 14, 2024 04:12 2m 39s
Switch from triomphe::Arc to MiniArc, our own Arc implementation Kani CI #547: Commit a651cc6 pushed by tatsuya6502
September 14, 2024 04:04 2m 51s mini-arc
mini-arc
September 14, 2024 04:04 2m 51s
Merge pull request #454 from moka-rs/miri-tree-borrows Kani CI #546: Commit a4171b2 pushed by tatsuya6502
August 25, 2024 10:36 15s main
main
August 25, 2024 10:36 15s
CI: Run miri using tree borrows in addition to the existing stacked borrows Kani CI #545: Pull request #454 synchronize by tatsuya6502
August 25, 2024 10:07 1m 35s miri-tree-borrows
miri-tree-borrows
August 25, 2024 10:07 1m 35s
Merge branch 'main' into miri-tree-borrows Kani CI #544: Commit 63f8928 pushed by tatsuya6502
August 25, 2024 10:07 30s miri-tree-borrows
miri-tree-borrows
August 25, 2024 10:07 30s
Merge pull request #452 from JoJoDeveloping/main Kani CI #543: Commit fa2a2a1 pushed by tatsuya6502
August 25, 2024 10:06 1m 0s main
main
August 25, 2024 10:06 1m 0s
CI: Run miri using tree borrows in addition to the existing stacked borrows Kani CI #542: Pull request #454 opened by tatsuya6502
August 25, 2024 09:41 56s miri-tree-borrows
miri-tree-borrows
August 25, 2024 09:41 56s
CI: Run miri using tree borrows in addition to the existing Kani CI #541: Commit c5e5ba3 pushed by tatsuya6502
August 25, 2024 09:31 1m 14s miri-tree-borrows
miri-tree-borrows
August 25, 2024 09:31 1m 14s