#1081 disabled per-PR code coverage job, but it seems the intent was to continue to run it, "maybe once a week cron job". But such cron job was never set up and there was no coverage run since, see https://codecov.io/gh/RustPython/RustPython.
cc @coolreader18 @windelbouwman
#1081 disabled per-PR code coverage job, but it seems the intent was to continue to run it, "maybe once a week cron job". But such cron job was never set up and there was no coverage run since, see https://codecov.io/gh/RustPython/RustPython.
cc @coolreader18 @windelbouwman