Feature/update GitHub actions#400

gruenich wants to merge 1 commit intoGraphBLAS:v1.3.xGraphBLAS/LAGraph:v1.3.xfrom

gruenich:feature/update-github-actionsgruenich/LAGraph:feature/update-github-actionsCopy head branch name to clipboard