Skip to content
Back to pull request #21425

shell: Even more types #9657

Sign in to view logs

shell: Even more types

shell: Even more types #9657

Triggered via pull request December 12, 2024 07:00
@mvollmermvollmer
opened #21425
mvollmer:shell-typing-3
Status Success
Total duration 2m 1s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in