Rename unused workflows as obsolete#1425

qinsoon wants to merge 1 commit intommtk:mastermmtk/mmtk-core:masterfrom

qinsoon:obsolete-github-workflowsqinsoon/mmtk-core:obsolete-github-workflowsCopy head branch name to clipboard