Skip to content

Merge pull request #644 from jrl-umi3218/modernize-external #1040

Merge pull request #644 from jrl-umi3218/modernize-external

Merge pull request #644 from jrl-umi3218/modernize-external #1040

Triggered via push December 1, 2023 08:56
Status Success
Total duration 14s
Artifacts

cmake.yml

on: push
build-ubuntu
5s
build-ubuntu
Fit to window
Zoom out
Zoom in