Skip to content

Actions: Beneficial-AI-Foundation/probe-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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 fmt CI #26: Commit a1f8c8c pushed by astefano
56s main
main
56s
fix(public-api): normalize Charon RQNs for cargo-public-api matching CI #25: Commit 43cdc96 pushed by astefano
22s main
main
22s
feat(extract): re-add cargo-public-api behind --with-public-api flag … Release #6: Commit 399ffef pushed by astefano
4m 7s v0.6.0
v0.6.0
4m 7s
feat(extract): re-add cargo-public-api behind --with-public-api flag … CI #24: Commit 399ffef pushed by astefano
1m 18s main
main
1m 18s
feat(extract): replace cargo-public-api with SCIP module-chain visibi… CI #23: Commit 67b6097 pushed by astefano
1m 1s main
main
1m 1s
feat(extract): replace cargo-public-api with SCIP module-chain visibi… Release #5: Commit 67b6097 pushed by astefano
7m 35s v0.5.0
v0.5.0
7m 35s
feat(extract): add is-public-api detection, KB, and auditor skills — … Release #4: Commit fab3ba5 pushed by astefano
4m 27s v0.4.0
v0.4.0
4m 27s
feat(extract): add is-public-api detection, KB, and auditor skills — … CI #22: Commit fab3ba5 pushed by astefano
1m 13s main
main
1m 13s
feat(setup): add setup command for tool management, bump to v0.3.0 Release #3: Commit 77d85e8 pushed by astefano
4m 21s v0.3.0
v0.3.0
4m 21s
feat(setup): add setup command for tool management, bump to v0.3.0 CI #21: Commit 77d85e8 pushed by astefano
53s main
main
53s
fix(charon): match nested functions via code_module fallback, bump to… CI #20: Commit a844a49 pushed by astefano
1m 8s main
main
1m 8s
chore: regenerate cargo-dist release workflow Release #2: Commit 12a3924 pushed by astefano
6m 14s v0.2.0
v0.2.0
6m 14s
chore: regenerate cargo-dist release workflow CI #19: Commit 12a3924 pushed by astefano
1m 2s main
main
1m 2s
chore: bump version to 0.2.0, update changelog for release Release #1: Commit 7bc25d0 pushed by astefano
17s v0.2.0
v0.2.0
17s
chore: bump version to 0.2.0, update changelog for release CI #18: Commit 7bc25d0 pushed by astefano
1m 55s main
main
1m 55s
feat(charon): extract is-public visibility from Charon LLBC CI #17: Commit aeca39e pushed by astefano
1m 38s main
main
1m 38s
fix: use git dep for probe-extract-check instead of local path CI #16: Commit f9dd0f8 pushed by astefano
1m 20s main
main
1m 20s
fix: use exact type-name match for disambiguation, regenerate example CI #15: Commit b0ba32c pushed by astefano
43s main
main
43s
fix: Charon name disambiguation using spans and trait generics CI #14: Commit 7c2de8d pushed by astefano
45s main
main
45s
fix: fail safely when project root cannot be canonicalized CI #13: Commit 9e551e6 pushed by astefano
48s main
main
48s
fix: harden path handling, SCIP range safety, and path matching CI #12: Commit f85fdd7 pushed by astefano
18s main
main
18s
docs: add TESTING.md with full test inventory and run instructions CI #11: Commit 37f2b48 pushed by astefano
6m 48s main
main
6m 48s
fix(ci): fix format and clippy failures in CI CI #10: Commit 4668355 pushed by astefano
1m 47s main
main
1m 47s
feat: expose commands as library API, add integration tests and CI CI #9: Commit 7871e5f pushed by astefano
12s main
main
12s
docs: standardize README section order, slim command details CI #8: Commit ccef079 pushed by astefano
55s main
main
55s