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

Triggered via pull request December 1, 2023 00:15

Alasdair

opened #385

tyenv_coverage

Status Success

Total duration 11m 8s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

Produced during runtime