return correct variable type/metadata in map_symbolics_ident #27

Triggered via push July 14, 2023 21:47

paulflang

Status Success

Total duration 1m 6s

Artifacts 1

draft-pdf.yml

on: push

Produced during runtime

Name	Size
paper Expired	1 MB