Skip to content

chore: Remove unnecessary web directories #4731

chore: Remove unnecessary web directories

chore: Remove unnecessary web directories #4731

Triggered via pull request November 3, 2023 22:56
@spydonspydon
edited #2838
Status Success
Total duration 10s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

title-validation.yml

on: pull_request_target
Validate PR title
2s
Validate PR title
Fit to window
Zoom out
Zoom in