Skip to content

Rename "strategy" to "git_strategy" #55

Rename "strategy" to "git_strategy"

Rename "strategy" to "git_strategy" #55

Triggered via push September 2, 2024 03:41
Status Success
Total duration 40s
Artifacts
update-overleaf
30s
update-overleaf
Fit to window
Zoom out
Zoom in