mirror of
https://github.com/neondatabase/neon.git
synced 2026-05-23 08:00:37 +00:00
Move coverage data to a better directory, merge it better and don't publish it from CircleCI pipeline
Move coverage data to a better directory, merge it better and don't publish it from CircleCI pipeline