Skip to content
Coq Build

Merge pull request #41 from inQWIRE/caldwellb-patch-1 #93

Sign in to view logs

Merge pull request #41 from inQWIRE/caldwellb-patch-1

Merge pull request #41 from inQWIRE/caldwellb-patch-1 #93

Triggered via push November 13, 2023 14:33
@caldwellbcaldwellb
pushed adf56de
main
Status Failure
Total duration 42m 19s
Artifacts –

coq-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build (8.16, default): src/CoreData/SemanticCore.v#L268
Notation mult_0_r is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L268
Notation mult_0_r is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L268
Notation mult_0_r is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L275
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L275
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L275
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L338
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L338
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L338
Notation mult_comm is deprecated since 8.16.
build (8.16, default): src/CoreData/SemanticCore.v#L343
Notation mult_0_r is deprecated since 8.16.