Skip to content

[docker] mark doc directories as safe for git to use #707

[docker] mark doc directories as safe for git to use

[docker] mark doc directories as safe for git to use #707

Triggered via pull request January 19, 2025 22:43
@shishshish
synchronize #511
pr511
Status Success
Total duration 1m 36s
Artifacts

continuous-integration.yml

on: pull_request
Fetch Definitions
7s
Fetch Definitions
Rector Tests
18s
Rector Tests
Check Sync
26s
Check Sync
Matrix: Generated Tests
Matrix: Generator Tests
Fit to window
Zoom out
Zoom in