Files

.circleci

and

CI: Adapt to generic Makefile for Phobos

Dec 18, 2023

f3f89ca · Dec 18, 2023

Name		Name	Last commit message	Last commit date
parent directory ..
config.yml		config.yml	circleci: Migrate to circleci convenience images	Oct 16, 2022
run.sh		run.sh	CI: Adapt to generic Makefile for Phobos	Dec 18, 2023