Skip to content

Fix gitignore of subrepositories in script (backport #112) #152

Fix gitignore of subrepositories in script (backport #112)

Fix gitignore of subrepositories in script (backport #112) #152

Triggered via pull request August 12, 2023 09:15
Status Success
Total duration 1m 5s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-format.yml

on: pull_request
Fit to window
Zoom out
Zoom in