Skip to content
Continuous integration

Rename a file #4681

Sign in to view logs

Rename a file

Rename a file #4681

Triggered via pull request February 28, 2025 08:36
@stepchowfunstepchowfun
synchronize #708
impredicative
Status Success
Total duration 6m 33s
Artifacts –

ci.yml

on: pull_request
Validate
6m 29s
Validate
Fit to window
Zoom out
Zoom in