CodeQL

Fix handling of empty intervals in interval_template.h #7437

Sign in to view logs

Triggered via pull request December 1, 2025 11:48

tautschnig

synchronize #8779

tautschnig:fix-8144-empty-interval

Status Success

Total duration 32m 47s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze