1. 09 Aug, 2021 1 commit
    • ci: remove the docker entrypoint · b140e22e
      Omitting an entrypoint.sh to configure the container and instead
      depending on docker primitives allows us to be more portable.  (If a
      distribution uses a different mechanism for adding users, we need not
      have multiple entrypoint.sh files or invariants within it; instead we
      can configure that in the dockerfile itself along with all the other
      distribution specific components.)
      Edward Thomson committed
  2. 31 Jul, 2021 1 commit
  3. 30 Jul, 2021 13 commits
  4. 29 Jul, 2021 1 commit
  5. 28 Jul, 2021 2 commits
  6. 27 Jul, 2021 5 commits
  7. 26 Jul, 2021 2 commits
  8. 22 Jul, 2021 12 commits
  9. 20 Jul, 2021 2 commits
  10. 19 Jul, 2021 1 commit