Skip to content
LogRel CI

wip generic typing lemmas #475

Sign in to view logs

wip generic typing lemmas

wip generic typing lemmas #475

Triggered via push November 16, 2023 16:18
@kyoDralliamkyoDralliam
pushed 083ac3f
extension_types
Status Failure
Total duration 2m 21s
Artifacts –

build.yml

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

Annotations

10 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
build: theories/AutoSubst/Ast.v#L1276
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1278
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1280
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1282
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1284
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1286
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L1335
The default value for instance locality is currently "local" in a