Code

CI: enable color for OscarCI diffs#881

Code

Merged

fingolfin merged 1 commit intooscar-system:masteroscar-system/GAP.jl:masterfrom fingolfin:mh/color-cifingolfin/GAP.jl:mh/color-ciCopy head branch name to clipboardMay 23, 2023

+2-2

Commits

Commits on May 22, 2023

• CI: enable color for OscarCI diffs

  fingolfin

  committed
  8376c2b

  Copy full SHA for 8376c2b