https://github.com/gudhi/gudhi-deploy

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

Last synced: 14 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/gudhi/gudhi-deploy
• Owner: GUDHI
• License: mit
• Created: 2021-01-15T16:04:33.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-12-04T16:42:41.000Z (about 1 month ago)
• Last Synced: 2024-12-04T17:39:53.867Z (about 1 month ago)
• Language: Makefile
• Size: 38.1 KB
• Stars: 2
• Watchers: 5
• Forks: 2
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# gudhi-deploy

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