Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3#225

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

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