Skip to content

Actions: Beneficial-AI-Foundation/scip-callgraph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
294 workflow runs
294 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
rm flag Build #179: Commit 84d8249 pushed by astefano
2m 5s main
main
2m 5s
Add pre_built_atoms input to skip lake build + probe-lean extract Build #178: Commit 8c19490 pushed by astefano
2m 6s main
main
2m 6s
Fix: remove --skip-build flag from Lean callgraph workflow Build #177: Commit 073e664 pushed by astefano
7m 2s main
main
7m 2s
Per-language GitHub links from Schema 2.0 envelope inputs Build #176: Commit 4d31c2f pushed by astefano
7m 37s main
main
7m 37s
Per-language GitHub links from Schema 2.0 envelope inputs Deploy Web Viewer to GitHub Pages #96: Commit 4d31c2f pushed by astefano
40s main
main
40s
add new merge graph Deploy Web Viewer to GitHub Pages #95: Commit b4f56b5 pushed by astefano
47s main
main
47s
add new merge graph Build #175: Commit b4f56b5 pushed by astefano
7m 35s main
main
7m 35s
Deploy Web Viewer to GitHub Pages Deploy Web Viewer to GitHub Pages #94: Manually run by astefano
21s main
main
21s
add new merge graph Deploy Web Viewer to GitHub Pages #93: Commit 04f58a6 pushed by astefano
20s main
main
20s
add new merge graph Build #174: Commit 04f58a6 pushed by astefano
6m 52s main
main
6m 52s
add dalek-aeneas Build #173: Commit 526f426 pushed by astefano
7m 6s main
main
7m 6s
add dalek-aeneas Deploy Web Viewer to GitHub Pages #92: Commit 526f426 pushed by astefano
38s main
main
38s
Add OpenRouter as default AI provider via Cloudflare Worker proxy Deploy Web Viewer to GitHub Pages #91: Commit efc3e47 pushed by astefano
43s main
main
43s
Add OpenRouter as default AI provider via Cloudflare Worker proxy Build #172: Commit efc3e47 pushed by astefano
8m 56s main
main
8m 56s
Merge branch 'main' of https://github.com/Beneficial-AI-Foundation/sc… Build #171: Commit 6980e1a pushed by astefano
7m 53s main
main
7m 53s
Merge branch 'main' of https://github.com/Beneficial-AI-Foundation/sc… Deploy Web Viewer to GitHub Pages #90: Commit 6980e1a pushed by astefano
45s main
main
45s
Update CALL_GRAPH_ALGORITHM.md Build #170: Commit 9a73c0d pushed by astefano
8m 20s main
main
8m 20s
Update CALL_GRAPH_ALGORITHM.md Deploy Web Viewer to GitHub Pages #89: Commit 9a73c0d pushed by astefano
37s main
main
37s
add one more algo Deploy Web Viewer to GitHub Pages #88: Commit 8920eb7 pushed by astefano
40s main
main
40s
add one more algo Build #169: Commit 8920eb7 pushed by astefano
7m 22s main
main
7m 22s
Update FILE_MAP_ALGORITHM.md Build #168: Commit ed0e3b8 pushed by astefano
7m 26s main
main
7m 26s
Update FILE_MAP_ALGORITHM.md Deploy Web Viewer to GitHub Pages #87: Commit ed0e3b8 pushed by astefano
45s main
main
45s
add algos Build #167: Commit b4f4ab1 pushed by astefano
8m 27s main
main
8m 27s
add algos Deploy Web Viewer to GitHub Pages #86: Commit b4f4ab1 pushed by astefano
43s main
main
43s
Merge pull request #8 from Beneficial-AI-Foundation/la/fixes Build #166: Commit 00dcee9 pushed by astefano
7m 58s main
main
7m 58s