Migrate Windows CI pipeline from ADO to Github#2419
Merged
ahojnnes merged 20 commits intoFeb 14, 2024
maincolmap/colmap:mainfrom
user/joschonb/github-actions-windowscolmap/colmap:user/joschonb/github-actions-windowsCopy head branch name to clipboard
Merged
Migrate Windows CI pipeline from ADO to Github#2419ahojnnes merged 20 commits intomaincolmap/colmap:mainfrom user/joschonb/github-actions-windowscolmap/colmap:user/joschonb/github-actions-windowsCopy head branch name to clipboard
ahojnnes merged 20 commits into
maincolmap/colmap:mainfrom
user/joschonb/github-actions-windowscolmap/colmap:user/joschonb/github-actions-windowsCopy head branch name to clipboard