Started 5 yr 5 mo ago
Took 2 min 54 sec on cathode

Build #92 (Aug 18, 2017, 3:56:41 PM)

PR #256: Update Dockerfile
  1. Make tmp dir to create files in (commit: 38b857e) (details / githubweb)
  2. Save current working dir and return to it (per @aprokop comment on #249) (commit: ba35778) (details / githubweb)
  3. Use shutil.move instead of os.rename in (commit: c2f538a) (details / githubweb)
  4. Replace slack with gitter. (commit: ab5125f) (details / githubweb)
  5. Use matching building type for cap and deal.II (commit: c218de1) (details / githubweb)
  6. Update Dockerfile (commit: ba288ad) (details / githubweb)

GitHub pull request #256 of commit ba288ade74c6e58ca30ad02f16bbd9d475b08c0b, no merge conflicts.

Revision: ba288ade74c6e58ca30ad02f16bbd9d475b08c0b
  • detached
Test Result (no failures)