#lang setup/infotab (define cover-formats '(("codecov" cover/codecov generate-codecov-coverage)))