Completed
Push — develop ( d57d19...6a336a )
by Christian
21s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Christian Münch  
chore: update paths for documentation build workflow triggers
Base
Christian Münch  
chore: enable manual triggering for documentation build workflow