ci: also port test/archive/counterexamples#64

Closed

kim-em wants to merge 6 commits intomasterfrom port_everything

+21-6

Commits on Dec 1, 2021

also port test/archive/counterexample/roadmap
kim-em
committed

Commits on Dec 2, 2021

Commits on Dec 5, 2021

run mk_all everywhere
kim-em
committed
typo
kim-em
committed