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