Skip to content

Merge pull request #107 from tum-ei-eda/develop2 #39

Merge pull request #107 from tum-ei-eda/develop2

Merge pull request #107 from tum-ei-eda/develop2 #39

Triggered via push July 23, 2026 09:33
Status Success
Total duration 14s
Artifacts

trigger.yml

on: push
trigger_repo
10s
trigger_repo
Fit to window
Zoom out
Zoom in