Skip to content

Rename patch_codeql.py to patch-codeql.py #95

Rename patch_codeql.py to patch-codeql.py

Rename patch_codeql.py to patch-codeql.py #95

Triggered via push December 2, 2024 08:07
Status Success
Total duration 28s
Artifacts

publish.yml

on: push
Matrix: extensions
Matrix: library
Matrix: library_sources_extensions
Matrix: queries
Fit to window
Zoom out
Zoom in