Skip to content
TypeCheck

Delete plugins directory #333

Sign in to view logs

Delete plugins directory

Delete plugins directory #333

Triggered via pull request September 25, 2025 01:20
@tleonhardttleonhardt
synchronize #1523
delete-plugins-dir
Status Success
Total duration 27s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

typecheck.yml

on: pull_request
Matrix: type-check
Fit to window
Zoom out
Zoom in