Organisationsmirageirminaed087

Fix Codecov CI: add secret token, disable on PRs

Oct 01 14:13 +00:00
15m41s
*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.