Skip to content

maintenance: run gen script before lint #66

maintenance: run gen script before lint

maintenance: run gen script before lint #66

Triggered via push October 9, 2024 02:45
Status Success
Total duration 2m 32s
Artifacts

codeql.yml

on: push
codeql  /  Filter Paths
7s
codeql / Filter Paths
Matrix: codeql / languages
Fit to window
Zoom out
Zoom in