Code

Rename invalidations CI test#919

Code

Merged

fingolfin merged 1 commit intooscar-system:masteroscar-system/GAP.jl:masterfrom fingolfin:mh/invalidationsfingolfin/GAP.jl:mh/invalidationsCopy head branch name to clipboardJul 13, 2023

+1-1

Commits

Commits on Jul 13, 2023

• Rename invalidations CI test

  Show description for 9c41e07
  fingolfin

  committed
  9c41e07

  Copy full SHA for 9c41e07