Skip to content

Actions: Beneficial-AI-Foundation/scip-callgraph

Actions

Generate Lean Call Graph

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
generate-lean-callgraph.yml
3 workflow runs
3 workflow runs

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
Skip integration tests when local fixture files are absent Generate Lean Call Graph #3: Commit d01fc73 pushed by astefano
Failure main
main
Failure
Hide Verus-specific Call Types filter when displaying Lean graphs Generate Lean Call Graph #2: Commit 0281697 pushed by astefano
Failure main
main
Failure
Refactor filter system into composable query pipeline Generate Lean Call Graph #1: Commit fc292b0 pushed by astefano
Failure main
main
Failure