Skip to content

Trim whitespace from manual completion headers, user ids and grades #328

Trim whitespace from manual completion headers, user ids and grades

Trim whitespace from manual completion headers, user ids and grades #328

Triggered via pull request October 3, 2023 06:36
Status Success
Total duration 3m 25s
Artifacts

codeql.yml

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