Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2#223

tautschnig merged 1 commit intomastermodel-checking/cbmc-starter-kit:masterfrom

dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2model-checking/cbmc-starter-kit:dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2Copy head branch name to clipboard