Swap between simp/aesop and their ? versions. #1987
ci.yml
on: push
lean3-version
6s
pre-commit
57s
Matrix: ci