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: about 2 months 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 (over 4 years ago)
• Default Branch: main
• Last Pushed: 2025-03-04T10:22:40.000Z (3 months ago)
• Last Synced: 2025-03-04T11:29:35.481Z (3 months ago)
• Language: Makefile
• Size: 46.9 KB
• Stars: 1
• Watchers: 5
• Forks: 2
• Open Issues: 2
• 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