Skip to content

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

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

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

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

continuous-integration.yml

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