Skip to content
LogRel CI

LogRel CI #572

Sign in to view logs

LogRel CI

LogRel CI #572

Manually triggered March 5, 2025 18:44
@kyoDralliamkyoDralliam
⁠ 54f9e9f
rasimpl
Status Success
Total duration 4m 54s
Artifacts –

build.yml

on: workflow_dispatch
build
4m 46s
build
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
build: theories/AutoSubst/AstRasimpl.v#L4
Notation "_ __term" was already used in scope subst_scope.
build: theories/Syntax/WeakeningLemmas.v#L3
Notation "_ __term" was already used in scope subst_scope.
build: theories/Syntax/UntypedReduction.v#L4
Notation "_ __term" was already used in scope subst_scope.
build: theories/Syntax/Sections.v#L3
Notation "_ __term" was already used in scope subst_scope.
build: theories/Syntax/All.v#L2
Notation "_ __term" was already used in scope subst_scope.