update variants.md to new alias syntax#3028

Merged

konnov merged 2 commits intoapalache-mc:mainfrom nano-o:main

Nov 4, 2024

+20-20

Commits on Oct 31, 2024

update variants.md to new alias syntax
nano-o
committed

Commits on Nov 4, 2024

Merge branch 'main' into main
coffeeinprogress
authored