Raymond Toy pushed new branch rtoy-simplify-ci at
cmucl / cmucl