Closed nemesifier closed 3 months ago
Minor updates for CI.
coverage: 96.19%. remained the same when pulling 15366d4160b1ec8ecac023f33e27d1020c771720 on coverage into c86133b2965d0f576fa6e6a0d4fb53c90ab6cfb5 on master.
Minor updates for CI.