Add coverage off annotations to type environment · rems-project/sail@1fbb96a

Triggered via push December 1, 2023 00:14

Alasdair

tyenv_coverage

Status Success

Total duration 10m 26s

Artifacts 3

coverage.yml

on: push

Matrix: build

Produced during runtime