Skip to content

Merge branch 'personal/v-rachitsh/pipelinefix' of https://github.com/… #308

Merge branch 'personal/v-rachitsh/pipelinefix' of https://github.com/…

Merge branch 'personal/v-rachitsh/pipelinefix' of https://github.com/… #308

Triggered via push October 15, 2025 02:44
Status Success
Total duration 3m 59s
Artifacts

coqeql.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
CodeQL-Build
CodeQL Action major versions v1 and v2 have been deprecated. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2025-01-10-code-scanning-codeql-action-v2-is-now-deprecated/