Skip to content

Merge pull request #1486 from rettinghaus/fix/custumization_ident #89

Merge pull request #1486 from rettinghaus/fix/custumization_ident

Merge pull request #1486 from rettinghaus/fix/custumization_ident #89

Triggered via push June 27, 2024 15:13
Status Success
Total duration 4m 5s
Artifacts 2

deploy.yml

on: push
Build and deploy Schema and Guidelines
3m 55s
Build and deploy Schema and Guidelines
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pdf Expired
29.8 MB
prince_log Expired
368 Bytes