Update anishathalye/proof-html action to v2#18

renovate-bot wants to merge 2 commits intoPearl1981:mainPearl1981/demo-repository:mainfrom

renovate-bot:renovate/anishathalye-proof-html-2.xrenovate-bot/Pearl1981-_-demo-repository:renovate/anishathalye-proof-html-2.xCopy head branch name to clipboard