Point Readme-CI badge to most recent workflow because branch-targetting didn't work reliably#849

pnkraemer merged 1 commit into

mainpnkraemer/probdiffeq:mainfrom

fix-readme-badgepnkraemer/probdiffeq:fix-readme-badgeCopy head branch name to clipboard