Skip to content

Replace deprecated subdirs with add_subdirectory #631

Replace deprecated subdirs with add_subdirectory

Replace deprecated subdirs with add_subdirectory #631

Triggered via push April 17, 2024 16:49
Status Success
Total duration 3m 35s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in