better ids for hypernodes #174 · korpling/annatto@f266584

Triggered via pull request November 23, 2023 13:53

MartinKl

opened #175

feature/hypernode-names

Status Success

Total duration 15s

Artifacts 1

release.yml

on: pull_request

Matrix: upload-local-artifacts

Produced during runtime

Name	Size
artifacts Expired	12.5 KB