1. 24 Jan, 2020 3 commits
  2. 23 Jan, 2020 11 commits
  3. 22 Jan, 2020 20 commits
  4. 21 Jan, 2020 5 commits
  5. 20 Jan, 2020 1 commit
    • Adrien Plazas's avatar
      ci: Check the API visibility · a644f918
      Adrien Plazas authored
      Check we don't accidentally add private headers to public ones, and that
      all public headers are included in the public handy.h. We do so by
      running the newly added lint/api-visibility.sh script during the build
      stage. This script can be run locally too.
      a644f918