Skip to content

Actions: prudent-rs/prudent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docs Tests, doc tests, MIRI, violations coverage #112: Commit 7b80513 pushed by peter-lyons-kehl
34s main
main
34s
Cleanup Tests, doc tests, MIRI, violations coverage #111: Commit c84f5d2 pushed by peter-lyons-kehl
32s main
main
32s
Cleanup Tests, doc tests, MIRI, violations coverage #110: Commit f134440 pushed by peter-lyons-kehl
37s main
main
37s
safe_generic_fun_cast_as_non_generic Tests, doc tests, MIRI, violations coverage #109: Commit 779426d pushed by peter-lyons-kehl
34s main
main
34s
Minor Tests, doc tests, MIRI, violations coverage #108: Commit 72d4530 pushed by peter-lyons-kehl
32s main
main
32s
Detecting unused unsafe fn, incl. generic ones Tests, doc tests, MIRI, violations coverage #107: Commit a0ae9e1 pushed by peter-lyons-kehl
32s main
main
32s
unused unsafe detection with AnyType trait Tests, doc tests, MIRI, violations coverage #106: Commit b91d7ac pushed by peter-lyons-kehl
30s main
main
30s
detect unused unsafe fn - WIP.. Tests, doc tests, MIRI, violations coverage #105: Commit a1df67f pushed by peter-lyons-kehl
34s main
main
34s
Detecting unused unsafe fn Tests, doc tests, MIRI, violations coverage #104: Commit 6de6695 pushed by peter-lyons-kehl
36s main
main
36s
unsafe_fn check - WIP Tests, doc tests, MIRI, violations coverage #103: Commit 5cb51fb pushed by peter-lyons-kehl
34s main
main
34s
Misc Tests, doc tests, MIRI, violations coverage #102: Commit da6dbbe pushed by peter-lyons-kehl
34s main
main
34s
Unused fn/method: WIP; moved expecting_unsafe_fn_path from backend.rs… Tests, doc tests, MIRI, violations coverage #101: Commit 844bdd1 pushed by peter-lyons-kehl
32s main
main
32s
assert_unsafe_methods feature; test.sh; GitHub Actions Tests, doc tests, MIRI, violations coverage #100: Commit 3d761a4 pushed by peter-lyons-kehl
37s main
main
37s
TODO + minor Tests, doc tests, MIRI, violations coverage #99: Commit d27dfc5 pushed by peter-lyons-kehl
43s main
main
43s
Docs Tests, doc tests, MIRI, violations coverage #98: Commit 9a853f9 pushed by peter-lyons-kehl
40s main
main
40s
Changed unsafe_method =>@ notation to =>. Tests, doc tests, MIRI, violations coverage #97: Commit 4d114b4 pushed by peter-lyons-kehl
1m 46s main
main
1m 46s
unsafe_method_assert_unsafe_methods Tests, doc tests, MIRI, violations coverage #96: Commit b6ca1e2 pushed by peter-lyons-kehl
1m 54s main
main
1m 54s
Related issues; Cleanup Tests, doc tests, MIRI, violations coverage #95: Commit 682483f pushed by peter-lyons-kehl
1m 46s main
main
1m 46s
Cleanup Tests, doc tests, MIRI, violations coverage #94: Commit 9363153 pushed by peter-lyons-kehl
1m 50s main
main
1m 50s
Cleanup Tests, doc tests, MIRI, violations coverage #93: Commit 81a0bdc pushed by peter-lyons-kehl
1m 47s main
main
1m 47s
Re-org/cleanup Tests, doc tests, MIRI, violations coverage #92: Commit c5735da pushed by peter-lyons-kehl
35s main
main
35s
unsafe_method: next solver (WIP) Tests, doc tests, MIRI, violations coverage #91: Commit 8e71d6d pushed by peter-lyons-kehl
35s main
main
35s
Tests cleaned up Tests, doc tests, MIRI, violations coverage #90: Commit 5ea53ce pushed by peter-lyons-kehl
34s main
main
34s
Cleanup Tests, doc tests, MIRI, violations coverage #89: Commit a592da8 pushed by peter-lyons-kehl
38s main
main
38s
Tests passing Tests, doc tests, MIRI, violations coverage #88: Commit e5b4afb pushed by peter-lyons-kehl
1m 46s main
main
1m 46s