Skip to content

Actions: pi314mm/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add paren Cargo Audit #18: Commit 3877cd4 pushed by pi314mm
June 28, 2024 17:41 1m 12s annotate_closure
annotate_closure
June 28, 2024 17:41 1m 12s
annotate all ensures closures Cargo Audit #17: Commit d0efa5d pushed by pi314mm
June 28, 2024 17:00 1m 3s annotate_closure
annotate_closure
June 28, 2024 17:00 1m 3s
bad typo Cargo Audit #16: Commit 25ab738 pushed by pi314mm
June 27, 2024 16:59 1m 2s typo
typo
June 27, 2024 16:59 1m 2s
Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat Cargo Audit #15: Commit 2e497f1 pushed by pi314mm
June 26, 2024 19:40 1m 4s modifies_fat
modifies_fat
June 26, 2024 19:40 1m 4s
Merge branch 'main' into modifies_fat Cargo Audit #14: Commit 971b4c3 pushed by pi314mm
June 26, 2024 19:26 1m 16s modifies_fat
modifies_fat
June 26, 2024 19:26 1m 16s
new test Cargo Audit #13: Commit 13ebd4e pushed by pi314mm
June 26, 2024 19:17 1m 0s modifies_fat
modifies_fat
June 26, 2024 19:17 1m 0s
arbitrary size slices Cargo Audit #12: Commit 90a5d3f pushed by pi314mm
June 26, 2024 19:14 1m 43s modifies_fat
modifies_fat
June 26, 2024 19:14 1m 43s
add tests Cargo Audit #11: Commit 3437710 pushed by pi314mm
June 25, 2024 21:17 1m 4s modifies_fat
modifies_fat
June 25, 2024 21:17 1m 4s
initial working for bytesize Cargo Audit #10: Commit 33be618 pushed by pi314mm
June 25, 2024 21:12 1m 41s modifies_fat
modifies_fat
June 25, 2024 21:12 1m 41s
nondeterminstics_size test Cargo Audit #9: Commit 16a2255 pushed by pi314mm
June 24, 2024 20:23 58s slices
slices
June 24, 2024 20:23 58s
nondeterminstics_size test Cargo Audit #8: Commit e04f299 pushed by pi314mm
June 24, 2024 20:21 1m 5s slices
slices
June 24, 2024 20:21 1m 5s
add semicolon Cargo Audit #7: Commit 1484c65 pushed by pi314mm
June 24, 2024 19:49 1m 1s slices
slices
June 24, 2024 19:49 1m 1s
test case Cargo Audit #6: Commit c5476df pushed by pi314mm
June 24, 2024 19:44 1m 5s slices
slices
June 24, 2024 19:44 1m 5s
Merge branch 'main' into slices Cargo Audit #5: Commit dde1256 pushed by pi314mm
June 24, 2024 19:23 1m 3s slices
slices
June 24, 2024 19:23 1m 3s
SlicePointer Cargo Audit #4: Commit 7e71bd7 pushed by pi314mm
June 24, 2024 19:08 1m 1s slices
slices
June 24, 2024 19:08 1m 1s
SlicePointer Cargo Audit #3: Commit 19093b9 pushed by pi314mm
June 24, 2024 19:08 59s slices
slices
June 24, 2024 19:08 59s
cast Cargo Audit #2: Commit 9e39283 pushed by pi314mm
June 24, 2024 17:30 1m 16s slices
slices
June 24, 2024 17:30 1m 16s
compiles Cargo Audit #1: Commit 28ec8a4 pushed by pi314mm
June 21, 2024 20:54 1m 5s slices
slices
June 21, 2024 20:54 1m 5s