Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4#202

feliperodri merged 1 commit intomastermodel-checking/cbmc-viewer:masterfrom

dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4model-checking/cbmc-viewer:dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4Copy head branch name to clipboard