dealii / docker-files

Docker files to automatically build docker-images
10 stars 14 forks source link

versioning for dependencies #21

Open tjhei opened 6 years ago

tjhei commented 6 years ago

I think we should version the fulldeps images maybe with something like v9.0.0r1, etc.. Otherwise our continuous integration will change and "blessed output" may break whenever we push a new version of the dependencies. Thoughts?