Skip to content

Merge pull request #1438 from rettinghaus/fix/submodule #82

Merge pull request #1438 from rettinghaus/fix/submodule

Merge pull request #1438 from rettinghaus/fix/submodule #82

Triggered via push March 22, 2024 15:07
Status Success
Total duration 3m 54s
Artifacts 2

deploy.yml

on: push
Build and deploy Schema and Guidelines
3m 43s
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
371 Bytes