Skip to content
CodeQL

Remove dubious module dependencies in goto-programs #7390

Sign in to view logs

Remove dubious module dependencies in goto-programs

Remove dubious module dependencies in goto-programs #7390

Triggered via pull request November 30, 2025 03:24
@tautschnigtautschnig
opened #8767
tautschnig:fix-571-unwanted-deps
Status Failure
Total duration 2h 26m 39s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Analyze (javascript)
Process completed with exit code 2.
Analyze (java)
Process completed with exit code 2.
Analyze (python)
Process completed with exit code 2.
Analyze (cpp)
Process completed with exit code 2.