Skip to content
LogRel CI

Description of the reducibility and its properties #500

Sign in to view logs

Description of the reducibility and its properties

Description of the reducibility and its properties #500

Triggered via push January 3, 2024 18:32
@kyoDralliamkyoDralliam
pushed 423e19f
submission
Status Success
Total duration 7m 5s
Artifacts –

build.yml

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