Skip to content
Continuous integration

Rename a file #4680

Sign in to view logs

Rename a file

Rename a file #4680

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

ci.yml

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