Completed
Push — develop ( 217f08...d57d19 )
by Christian
24s
created

No notable changes

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

???
Head
Christian Münch  
chore: enable manual triggering for documentation build workflow
Base
Christian Münch  
chore: include workflow file in documentation build paths