Skip to content
LogRel CI

fix compilation errors #466

Sign in to view logs

fix compilation errors

fix compilation errors #466

Triggered via push November 13, 2023 09:45
@kyoDralliamkyoDralliam
pushed ba417a0
bool
Status Failure
Total duration 2m 1s
Artifacts –

build.yml

on: push
build
1m 51s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
build: theories/AutoSubst/Extra.v#L91
The reference tNat was not found in the current environment.
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#L585
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L587
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L589
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L591
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L617
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L626
The default value for instance locality is currently "local" in a
build: theories/AutoSubst/Ast.v#L633
The default value for instance locality is currently "local" in a