only one PR for GitHub actions updates#179

ranocha merged 3 commits intomainNumericalMathematics/PositiveIntegrators.jl:mainfrom

hr/update_dependabotNumericalMathematics/PositiveIntegrators.jl:hr/update_dependabotCopy head branch name to clipboard