Remove Ubuntu 20.04 from the CI#3203
Merged
ahojnnes merged 1 commit intoMar 4, 2025
maincolmap/colmap:mainfrom
sarlinpe/remove-ubuntu20-cicolmap/colmap:sarlinpe/remove-ubuntu20-ciCopy head branch name to clipboard
Merged
Remove Ubuntu 20.04 from the CI#3203ahojnnes merged 1 commit intomaincolmap/colmap:mainfrom sarlinpe/remove-ubuntu20-cicolmap/colmap:sarlinpe/remove-ubuntu20-ciCopy head branch name to clipboard
ahojnnes merged 1 commit into
maincolmap/colmap:mainfrom
sarlinpe/remove-ubuntu20-cicolmap/colmap:sarlinpe/remove-ubuntu20-ciCopy head branch name to clipboard