Skip to content

Fix OSRD parent team names #97

Fix OSRD parent team names

Fix OSRD parent team names #97

Triggered via pull request July 12, 2024 15:05
Status Success
Total duration 20s
Artifacts

sync.yaml

on: pull_request
sync-settings
10s
sync-settings
Fit to window
Zoom out
Zoom in