Skip to content
Coq Build

Merge pull request #57 from inQWIRE/feature-euler-decomp #149

Sign in to view logs

Merge pull request #57 from inQWIRE/feature-euler-decomp

Merge pull request #57 from inQWIRE/feature-euler-decomp #149

Triggered via push October 9, 2025 21:25
@caldwellbcaldwellb
pushed 81c8e3c
main
Status Success
Total duration 15m 1s
Artifacts –

coq-action.yml

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

Annotations

37 warnings
build (8.18, default): src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.18, default): src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.18, default): src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.18, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.18, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.18, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.19, default): src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.19, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.19, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.19, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.19, default): src/CoreData/ZXCore.v#L195
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (8.19, default): src/CoreData/ZXCore.v#L193
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (8.19, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.19, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.19, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.19, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.20, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.20, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.20, default): src/CoreData/ZXCore.v#L240
Postfix notations (i.e. starting with a nonterminal symbol and
build (8.20, default): src/CoreData/ZXCore.v#L224
Postfix notations (i.e. starting with a nonterminal symbol and
build (8.20, default): src/CoreData/ZXCore.v#L195
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (8.20, default): src/CoreData/ZXCore.v#L193
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (8.20, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.20, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.20, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.20, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.