1. 25 Jul, 2019 3 commits
    • Rahix's avatar
      chore(sdk): Move heap into separate lib · e41c4607
      Rahix authored
      Signed-off-by: Rahix's avatarRahix <rahix@rahix.de>
    • q3k's avatar
      fix(micropython): Unhardcode /bin/bash · 85f8bd64
      q3k authored and Rahix's avatar Rahix committed
      /bin/bash does not exist on odd unixen (BSDs, NixOS, ...). /usr/bin/env
      is the current de facto standard to get bash somewhat universally.
      Manual merge for !37
    • q3k's avatar
      fix(ci): Use pre-built docker images · 4f220608
      q3k authored and Rahix's avatar Rahix committed
      In this change we modify the CI pipeline to use pre-built Docker images
      for both build and deploy stages.  To this end, we create
      `docker/{build-env,deploy-env}`, two directories containing Dockerfiles
      describing how to build those images, and scripts to push them to a
      Docker registry.
      Currently, docker.card10.badge.events.ccc.de seems broken. Thus, we push
      to the Warsaw Hackerspace Docker registry.  Since the Docker images will
      be pulled rarely anyway (as they are cached by build nodes), any low
      bandwidth-caused slowdowns will not be usually end up in the CI critical
      We also bump `.gitlab-ci.yml` to point to those new images.
  2. 24 Jul, 2019 2 commits
  3. 23 Jul, 2019 3 commits
  4. 22 Jul, 2019 9 commits
  5. 21 Jul, 2019 12 commits
  6. 20 Jul, 2019 11 commits