Skip to content
CodeQL

Merge pull request #8408 from tautschnig/solver-factory-no-dynamic_cast #60

Sign in to view logs

Merge pull request #8408 from tautschnig/solver-factory-no-dynamic_cast

Merge pull request #8408 from tautschnig/solver-factory-no-dynamic_cast #60

Triggered via push August 20, 2024 20:46
@remi-delmas-3000remi-delmas-3000
pushed 3877e0f
develop
Status Success
Total duration 51m 38s
Artifacts –

codeql-analysis.yml

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