Skip to content

Polish CodeQL and do some chores #1375

Polish CodeQL and do some chores

Polish CodeQL and do some chores #1375

Triggered via pull request February 8, 2024 09:23
Status Success
Total duration 36s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in