Completed
Push — develop ( 8e3473...133c66 )
by Christian
23s
created

No notable changes

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

???
Head
Christian Münch  
chore: remove working-directory specification for documentation build steps
Base
Christian Münch  
chore: remove push trigger for GitHub Pages deployment workflow