chore(deps): bump the actions group with 2 updates#3

hyperpolymath merged 1 commit into

mainhyperpolymath/SMTLib.jl:mainfrom

dependabot/github_actions/actions-dc365c451ehyperpolymath/SMTLib.jl:dependabot/github_actions/actions-dc365c451eCopy head branch name to clipboard