Skip to content
LogRel CI

fixup! wip generic typing lemmas #476

Sign in to view logs

fixup! wip generic typing lemmas

fixup! wip generic typing lemmas #476

Triggered via push November 17, 2023 18:07
@jpoiretjpoiret
pushed 410f1cc
extension_types
Status Failure
Total duration 2m 18s
Artifacts –

build.yml

on: push
build
2m 4s
build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in the empty scope stack