Skip to content

Optimize SMT

Optimize SMT #39

Triggered via pull request July 27, 2023 15:59
Status Failure
Total duration 29m 24s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

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

Annotations

2 errors
Analyze (cpp)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
Analyze (cpp)
The operation was canceled.