Skip to content
Lint

Delete unused .docker directory #9096

Sign in to view logs

Delete unused .docker directory

Delete unused .docker directory #9096

Triggered via pull request February 6, 2025 12:47
@WissididomWissididom
opened #5906
Wissididom:patch-1
Status Success
Total duration 19s
Artifacts –

lint.yml

on: pull_request
lint
9s
lint
Fit to window
Zoom out
Zoom in