Skip to content

Merge pull request #19 from nicholas477/dlmanager_custom_prim_types #42

Merge pull request #19 from nicholas477/dlmanager_custom_prim_types

Merge pull request #19 from nicholas477/dlmanager_custom_prim_types #42

Triggered via push November 29, 2023 20:40
Status Success
Total duration 41s
Artifacts 1

compilation.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
examples Expired
5.09 MB