The build via Travis no longer works, as they have stopped their open-source free tier some time ago. We are already running via Github CI anyway, so I swapped out the badge.
Also remove the obsolete bash script for Github pages update. There is a new guide in the gh-pages branch already.
The build via Travis no longer works, as they have stopped their open-source free tier some time ago. We are already running via Github CI anyway, so I swapped out the badge.
Also remove the obsolete bash script for Github pages update. There is a new guide in the gh-pages branch already.