1. 21 Sep, 2021 1 commit
  2. 23 Aug, 2021 1 commit
  3. 21 Aug, 2021 1 commit
  4. 16 Aug, 2021 4 commits
  5. 15 Aug, 2021 1 commit
  6. 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
  7. 22 Dec, 2020 1 commit
  8. 23 Nov, 2020 2 commits
  9. 18 Nov, 2020 1 commit