Raymond Toy pushed new branch rtoy-refactor-ci-config at cmucl / cmucl