gudhi-deploy

A repository to deploy gudhi : build docker images for gudhi-devel CI thanks to DockerHub, and stores *requirements.txt for gudhi-devel

Name		Name	Last commit message	Last commit date
Latest commit History 113 Commits
.github/workflows		.github/workflows
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile_for_circleci_image		Dockerfile_for_circleci_image
Dockerfile_for_circleci_image_without_cgal		Dockerfile_for_circleci_image_without_cgal
Dockerfile_for_doxygen_circleci_image		Dockerfile_for_doxygen_circleci_image
Dockerfile_for_gudhi_installation		Dockerfile_for_gudhi_installation
Dockerfile_for_pip		Dockerfile_for_pip
LICENSE		LICENSE
README.md		README.md
build-requirements.txt		build-requirements.txt
install_cgal.sh		install_cgal.sh
test-requirements.txt		test-requirements.txt

Provide feedback