Skip to content
Coq Build

Moving teleportation example to main #155

Sign in to view logs

Moving teleportation example to main

Moving teleportation example to main #155

Triggered via pull request October 14, 2025 17:40
@caldwellbcaldwellb
opened #60
feature/teleportation-example
Status Success
Total duration 15m 27s
Artifacts –

coq-action.yml

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

Annotations

40 warnings
build (8.19, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.19, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.19, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.19, default): src/CoreRules/ZXStateRules.v#L710
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.18, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.18, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.18, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.18, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.18, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.18, default): src/CoreRules/ZXStateRules.v#L710
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.20, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.20, default): src/CoreRules/ZXStateRules.v#L710
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/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.17, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.17, default): src/DiagramRules/Bialgebra.v#L367
Notation Nat.mod_add is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L710
Notation Nat.div_div is deprecated since 8.17.
build (8.17, default): src/CoreRules/ZXStateRules.v#L710
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.