chore(gitignore): ignore dune-generated *.install manifests (#306)
#366
hyperpolymathstdlib-naming.yml
on: push
enforce-lowercase-stdlib
7s