Completed
Push — develop ( 6cc21c...217f08 )
by Christian
28s
created

No notable changes

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

???
Head
Christian Münch  
chore: include workflow file in documentation build paths
Base
Christian Münch  
chore: set default shell and working directory for documentation build