Skip to content
  1. Jul 04, 2021
  2. Jun 04, 2021
  3. May 22, 2021
  4. May 21, 2021
  5. May 10, 2021
  6. May 02, 2021
  7. Apr 29, 2021
  8. Apr 28, 2021
  9. Apr 24, 2021
  10. Mar 28, 2021
  11. Mar 26, 2021
  12. Mar 23, 2021
  13. Mar 12, 2021
  14. Feb 26, 2021
  15. Feb 12, 2021
  16. Feb 07, 2021
  17. Jan 24, 2021
    • nimrod's avatar
      Output Docker build hash. · 8582ae23
      nimrod authored
      When building ci-images, images on the host are sometimes (in the case
      of the docker image, always) pulled from the registry (overwriting the
      tag) but before pushing. So the image pushed is that pulled just now.
      Instead save the build hash (and pretty much everthing else) and re-tag
      before pushing (using the hash so it's the right image). While at it,
      unify the Docker push jobs (the Docker Hub and the personal registry
      one).
      8582ae23
    • nimrod's avatar
      Better handling of YAML anchors. · 7f8085bf
      nimrod authored
      7f8085bf
    • nimrod's avatar
      d3ed4902