Completed
Push — develop ( 2fadce...8e3473 )
by Christian
25s
created

No notable changes

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

???
Head
Christian Münch  
chore: remove push trigger for GitHub Pages deployment workflow
Base
Christian Münch  
chore: remove cache-dependency-path from documentation build workflow