Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.7.1#222

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

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