Skip to content
LogRel CI

nit in Decidability #508

Sign in to view logs

nit in Decidability

nit in Decidability #508

Triggered via push January 4, 2024 17:52
@kyoDralliamkyoDralliam
pushed 0424529
submission
Status Success
Total duration 7m 18s
Artifacts –

build.yml

on: push
build
7m 7s
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