Skip to content
Back to pull request #1612

Delete .idea directory #1930

Sign in to view logs

Delete .idea directory

Delete .idea directory #1930

Triggered via pull request June 28, 2023 06:46
@noisekitnoisekit
synchronize #1612
remove-.idea
Status Success
Total duration 50s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

PR-build.yml

on: pull_request
build
40s
build
Fit to window
Zoom out
Zoom in