Skip to content
Static Type Checks

Fix: coverage output would prefix _covered_ lines with "#"; should be… #250

Sign in to view logs

Fix: coverage output would prefix _covered_ lines with "#"; should be…

Fix: coverage output would prefix _covered_ lines with "#"; should be… #250

Triggered via push December 6, 2023 18:12
@andreas-zellerandreas-zeller
pushed 8bf6898
master
Status Success
Total duration 4m 44s
Artifacts –

check-types.yml

on: push
type-checking
4m 33s
type-checking
Fit to window
Zoom out
Zoom in