Skip to content

Actions: acgetchell/cdt-rs

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update dependencies Kani CI #57: Commit 5ed0203 pushed by acgetchell
November 8, 2024 20:54 6h 0m 25s main
main
November 8, 2024 20:54 6h 0m 25s
ci: add missed unused function Kani CI #56: Commit fe7670c pushed by acgetchell
August 15, 2024 01:41 55s main
main
August 15, 2024 01:41 55s
ci: Ignore unused functions Kani CI #55: Commit 6c43277 pushed by acgetchell
August 15, 2024 01:37 50s main
main
August 15, 2024 01:37 50s
ci: Ignore cargo kani for Codecov Kani CI #54: Commit 4732a05 pushed by acgetchell
August 15, 2024 01:32 1m 0s main
main
August 15, 2024 01:32 1m 0s
ci: fix CodeCov Kani CI #53: Commit ef8ae5b pushed by acgetchell
August 15, 2024 01:27 49s main
main
August 15, 2024 01:27 49s
Update dependencies Kani CI #52: Commit af94c11 pushed by acgetchell
August 15, 2024 01:13 1m 4s main
main
August 15, 2024 01:13 1m 4s
ci: Fix Kani CI #51: Commit e7fc2b8 pushed by acgetchell
June 22, 2024 18:32 48s main
main
June 22, 2024 18:32 48s
ci: Update dependencies Kani CI #50: Commit b191596 pushed by acgetchell
June 22, 2024 18:25 1m 0s main
main
June 22, 2024 18:25 1m 0s
build: fix libc Kani CI #49: Commit 9ff914d pushed by acgetchell
June 5, 2024 21:41 1m 13s main
main
June 5, 2024 21:41 1m 13s
doc: Update status badges Kani CI #48: Commit 000cba5 pushed by acgetchell
June 5, 2024 16:35 48s main
main
June 5, 2024 16:35 48s
ci: Update GitHub actions Kani CI #47: Commit 6b38039 pushed by acgetchell
June 5, 2024 16:31 46s main
main
June 5, 2024 16:31 46s
build: update crates Kani CI #46: Commit cbdb784 pushed by acgetchell
June 5, 2024 12:06 1m 11s main
main
June 5, 2024 12:06 1m 11s
Update package versions in Cargo.lock: Kani CI #45: Commit 22745d3 pushed by acgetchell
April 6, 2024 01:09 1m 6s main
main
April 6, 2024 01:09 1m 6s
Update dependencies in Cargo.toml and Cargo.lock Kani CI #44: Commit a19ff71 pushed by acgetchell
February 12, 2024 01:17 1m 6s main
main
February 12, 2024 01:17 1m 6s
Remove DCEL Kani CI #43: Commit 45b2a17 pushed by acgetchell
December 16, 2023 22:08 49s main
main
December 16, 2023 22:08 49s
Add .codecov.yml and update dependencies in Cargo.lock Kani CI #42: Commit a2aa78a pushed by acgetchell
December 16, 2023 21:51 1m 4s main
main
December 16, 2023 21:51 1m 4s
Bump zerocopy from 0.7.30 to 0.7.31 Kani CI #41: Pull request #1 opened by dependabot bot
December 15, 2023 03:56 1m 15s dependabot/cargo/zerocopy-0.7.31
dependabot/cargo/zerocopy-0.7.31
December 15, 2023 03:56 1m 15s
Bump zerocopy from 0.7.30 to 0.7.31 Kani CI #40: Commit 420af53 pushed by dependabot bot
December 15, 2023 03:56 59s dependabot/cargo/zerocopy-0.7.31
dependabot/cargo/zerocopy-0.7.31
December 15, 2023 03:56 59s