Doug, Le mer. 23 oct. 2019 à 18:15, Doug Shi-Dong <doug.shid...@gmail.com> a écrit : > Are you aware of anyone hosting a "development" Docker build for their own > continuous integration. I know this can be very expensive to keep up with the > commits. Otherwise, I guess I should just build my own Docker with my current > deal.II fork. No, I don't know of anyone building a Docker image for each commit in the master but I guess we could do it. If there is a bug fix or a new feature in master that I need, I usually just create a new image from master. Since the library is very stable, I don't need to create a new image very often.
Best, Bruno -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/CAGVt9ePobT%3DDmd4hw0886ez6oEAKs_VZqh8oOi6ZD-E-Mwk6wg%40mail.gmail.com.