Skip to content

Make ctrl-f more usable on submissions #8356

Make ctrl-f more usable on submissions

Make ctrl-f more usable on submissions #8356

Triggered via pull request November 15, 2023 14:26
Status Success
Total duration 42s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in