gudhi / gudhi-deploy Goto Github PK
View Code? Open in Web Editor NEWA repository to deploy gudhi : build docker images for gudhi-devel CI thanks to DockerHub, and stores *requirements.txt for gudhi-devel
License: MIT License
A repository to deploy gudhi : build docker images for gudhi-devel CI thanks to DockerHub, and stores *requirements.txt for gudhi-devel
License: MIT License
In Dockerfile_for_circleci_image and Dockerfile_for_circleci_image_without_cgal, these apt packages are no more necessary as it is only used for doxygen purpose and there is a new docker image for that:
gudhi-deploy/Dockerfile_for_pip
Line 9 in 39b97d6
8 is pretty old, and I think it is the reason why our official pip package is affected by GUDHI/gudhi-devel#818 .
https://dl.bintray.com/boostorg/release/1.73.0/source/boost_1_73_0.tar.gz is no more valid (forbidden)
To be replaced in Dockerfiles by
# DEBIAN_FRONTEND=noninteractive is used to prevent installation of
# package tzdata to ask for timezone
ENV DEBIAN_FRONTEND=noninteractive
On OSx and windows github actions, this pip package is not found and needs to be installed manually.
Could be part of build-requirements.txt to build the pip package by doing python -m build
When docker images are pushed, do not used 'latest' tag anymore, but use 'YYYY.MM.NB'.
For instance '2023.12.01' will relate to the first (01) tag of december 2023.
Also add a label in PR/issues to track the modification.
It will be easier for maintenance purpose
I think we should consider to go with quay.io to build automatically the docker images.
It involves modifications in circleCI config file.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.