Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.6#237

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

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