Rename LiquidHaskell CI job to improve display on merge details#33

ninioArtillero merged 1 commit into

masterseereason/Diff:masterfrom

rename-jobseereason/Diff:rename-jobCopy head branch name to clipboard