summaryrefslogtreecommitdiff
path: root/.circleci
ModeNameSize
-rw-r--r--.gitignore12logplain
-rw-r--r--README.md1697logplain
d---------cimodel100logplain
-rw-r--r--config.yml130195logplain
-rwxr-xr-xensure-consistency.py1040logplain
-rwxr-xr-xgenerate_config_yml.py4080logplain
-rwxr-xr-xregenerate.sh172logplain
d---------verbatim-sources891logplain