[frontend] Fix marking definition handling in workbench (#4698) #8689

Sign in to view logs

Triggered via push October 20, 2023 15:14

master

Status Success

Total duration 4m 28s

Artifacts –

codeql-analysis.yml

on: push

Matrix: Analyze