Skip to content

Actions: crumplecup/amenable

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(amenable_kani,amenable_std): instrument two flagged tracing gaps CI #14: Commit 02cfbd9 pushed by crumplecup
4m 33s dev
dev
4m 33s
fix(amenable_kani): prove std::net TCP/UDP claims against a real acco… CI #13: Commit ea1aed0 pushed by crumplecup
4m 27s dev
dev
4m 27s
docs: document all amenable_derive macros, add onboarding, remove sta… CI #12: Commit 6879757 pushed by crumplecup
3m 25s dev
dev
3m 25s
style: run cargo fmt CI #11: Commit a87129c pushed by crumplecup
2m 35s dev
dev
2m 35s
docs: update contract-bound handoff for the call-shape redesign CI #10: Commit 4bf5221 pushed by crumplecup
29s dev
dev
29s
feat(amenable_kani): clear the X==X duplicate cluster (30 sites) CI #9: Commit df3fd9c pushed by crumplecup
2m 25s dev
dev
2m 25s
fix(amenable): update stale queue header assertion in proof_assessmen… CI #8: Commit e81fc8a pushed by crumplecup
2m 25s main
main
2m 25s
fix(amenable): update stale queue header assertion in proof_assessmen… CI #7: Commit e81fc8a pushed by crumplecup
2m 18s dev
dev
2m 18s
fix(amenable_verus): gate os_windows_carrier imports behind verus_kee… CI #6: Commit c8ea69b pushed by crumplecup
1m 52s dev
dev
1m 52s
docs(README): rewrite for a cold reader, add a runnable example CI #5: Commit ce067cf pushed by crumplecup
2m 39s main
main
2m 39s
docs(README): rewrite for a cold reader, add a runnable example CI #4: Commit ce067cf pushed by crumplecup
1m 50s dev
dev
1m 50s
feat(amenable_verus): add std::os::windows coverage, close Creusot ga… CI #3: Commit 846228f pushed by crumplecup
1m 20s dev
dev
1m 20s
ci(windows): dump the registry to verify the cross-platform evidence … CI #2: Commit 0706e47 pushed by crumplecup
1m 54s dev
dev
1m 54s
feat(ci): add multi-runner CI, close std::os::windows::* coverage via… CI #1: Commit 3fee857 pushed by crumplecup
1m 45s dev
dev
1m 45s