aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
ModeNameSize
-rw-r--r--06914-maximedenes-primitive-integers.sh269logplain
-rw-r--r--09102-ejgallego-ltac+remove_aliases.sh183logplain
-rw-r--r--09150-ejgallego-build+warn_50.sh170logplain
-rw-r--r--09172-ejgallego-proof_rework.sh254logplain
-rw-r--r--09220-maximedenes-stm-shallow-logic.sh189logplain
-rw-r--r--09263-maximedenes-parsing-state.sh357logplain
-rw-r--r--README.md1829logplain