use make_shared for sets #1356

Triggered via push July 19, 2024 13:43

payetvin

feature/remove-new

Status Success

Total duration 1m 21s

Artifacts 1

build-userguide.yml

on: push

Produced during runtime

Name	Size
pdf-reference-guide Expired	1.32 MB