Skip to content

Replace deprecated subdirs with add_subdirectory #632

Replace deprecated subdirs with add_subdirectory

Replace deprecated subdirs with add_subdirectory #632

Triggered via pull request April 17, 2024 16:49
Status Success
Total duration 3m 39s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in