Bump @actions/core from 3.0.0 to 3.0.1 in the npm-production group across 1 directory#64

dependabot[bot] wants to merge 1 commit into

mainKeYProject/setup-smt:mainfrom

dependabot/npm_and_yarn/npm-production-3fc5768f56KeYProject/setup-smt:dependabot/npm_and_yarn/npm-production-3fc5768f56Copy head branch name to clipboard