The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

The operation was canceled.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

istrunc_fun does not respect the uniform inheritance condition.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

istrunc_fun does not respect the uniform inheritance condition.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

istrunc_fun does not respect the uniform inheritance condition.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 134, characters 0-36: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default]

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 138, characters 0-25: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default]

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 195, characters 0-68: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default]

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 325, characters 0-89: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default]

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 338, characters 0-74: Warning: The '%' scope delimiter in 'Arguments' commands is deprecated, use '%_' instead (available since 8.19). The '%' syntax will be reused in a future version with the same semantics as in terms, that is adding scope to the stack for all subterms. Code can be adapted with a script like: for f in $(find . -name '*.v'); do sed '/Arguments/ s/%/%_/g' -i $f ; done [argument-scope-delimiter,deprecated-since-8.19,deprecated,default]

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Could not find a terminator for warning: File "./theories/Basics/Overture.v", line 610, characters 0-44: Warning: istrunc_fun does not respect the uniform inheritance condition. [uniform-inheritance,coercions,default] theories/Basics/Overture.vo (real: 0.15, user: 0.08, sys: 0.06, mem: 165056 ko) theories/Basics/Decimal.vo (real: 0.09, user: 0.04, sys: 0.04, mem: 100204 ko) theories/Basics/Tactics.vo (real: 0.14, user: 0.09, sys: 0.05, mem: 179532 ko) theories/Categories/Category/Core.vo (real: 0.09, user: 0.05, sys: 0.04, mem: 111500 ko) test/bugs/github1794.vo (real: 0.09, user: 0.03, sys: 0.05, mem: 83272 ko) theories/Axioms/Funext.vo (real: 0.09, user: 0.02, sys: 0.06, mem: 83596 ko) theories/Diagrams/Graph.vo (real: 0.08, user: 0.02, sys: 0.05, mem: 83512 ko) theories/Tactics/Nameless.vo (real: 0.09, user: 0.04, sys: 0.04, mem: 88028 ko) theories/Basics/Hexadecimal.vo (real: 0.13, user: 0.07, sys: 0.05, mem: 107680 ko) theories/WildCat/Core.vo (real: 0.37, user: 0.29, sys: 0.08, mem: 342776 ko) theories/Basics/PathGroupoids.vo (real: 0.58, user: 0.48, sys: 0.09, mem: 347944 ko) theories/Spaces/List.vo (real: 0.08, user: 0.04, sys: 0.04, mem: 93752 ko) theories/Categories/Functor/Core.vo (real: 0.07, user: 0.03, sys: 0.04, mem: 91688 ko) theories/Categories/Category/Strict.vo (real: 0.09, user: 0.02, sys: 0.06, mem: 86072 ko) theories/Tactics/EvalIn.vo (real: 0.10, user: 0.04, sys: 0.05, mem: 95368 ko) theories/Categories/Functor/Composition/Core.vo (real: 0.10, user: 0.05, sys: 0.05, mem: 96932 ko) theories/Categories/Category/Sum.vo (real: 0.17, user: 0.12, sys: 0.05, mem: 227056 ko) theories/Categories/Functor/Identity.vo (real: 0.08, user: 0.04, sys: 0.04, mem: 84632 ko) theories/Categories/NaturalTransformation/Core.vo (real: 0.10, user: 0.03, sys: 0.06, mem: 128388 ko) contrib/UniverseLevel.vo (real: 0.11, user: 0.05, sys: 0.06, mem: 150496 ko) theories/Basics/Contractible.vo (real: 0.10, user: 0.04, sys: 0.06, mem: 120188 ko) theories/Basics/Numeral.vo (real: 0.08, user: 0.02, sys: 0.05, mem: 87532 ko) theories/Diagrams/CommutativeSquares.vo (real: 0.22, user: 0.15, sys: 0.07, mem: 286472 ko) theories/Colimits/GraphQuotient.vo (real: 0.09, user: 0.04, sys: 0.05, mem: 120736 ko) theories/WildCat/Sigma.vo (real: 0.09, user: 0.04, sys: 0.04, mem: 111760 ko) theories/WildCat/Equiv.vo (real: 0.53, user: 0.45, sys: 0.08, mem: 351044 ko) theories/WildCat/Paths.vo (real: 0.10, user: 0.04, sys: 0.06, mem: 90988 ko) theories/WildCat/UnitCat.vo (real: 0.08, user: 0.03, sys: 0.05, mem: 96956 ko) theories/WildCat/EmptyCat.vo (real: 0.09, user: 0.05, sys: 0.03, mem: 103504 ko) theories/WildCat/Forall.vo (real: 0.11, user: 0.05, sys: 0.05, mem: 165692 ko) theories/WildCat/Sum.vo (real: 0.35, user: 0.26, sys: 0.09, mem: 340468 ko) theories/Spaces/TwoSphere.vo (real: 0.31, user: 0.22, sys: 0.09, mem: 341128 ko) theories/Tactics/BinderApply.vo (real: 0.09, user: 0.04, sys: 0.04, mem: 106048 ko) theories/Categories/NaturalTransformation/Identity.vo (real: 0.12, user: 0.06, sys: 0.05, mem: 108732 ko) theories/Categories/NaturalTransformation/Composition/Core.vo (real: 0.15, user: 0.08, sys: 0.07, mem: 155972 ko) theories/Tactics/RewriteModuloAssociativity.vo (real: 0.14, user: 0.08, sys: 0.06, mem: 209548 ko) theories/Basics/Nat.vo (real: 0.09, user: 0.04, sys: 0.04, mem: 99948 ko) theories/Basics/Equivalences.vo (real: 0.26, user: 0.19, sys: 0.07, mem: 340096 ko) theories/WildCat/Induced.vo (real: 0.18, user: 0.10, sys: 0.07, mem: 195000 ko) theories/WildCat/Square.vo (real: 0.33, user: 0.26, sys: 0.07, mem: 335856 ko) theories/WildCat/PointedCat.vo (real: 0.20, user: 0.13, sys: 0.06, mem: 282036 ko) theories/Basics/Trunc.vo (real: 0.17, user: 0.11, sys: 0.06, mem: 199260 ko) theories/Types/Unit.vo (real: 0.10, user: 0.04, sys: 0.05, mem: 109332 ko) theories/Types/Forall.vo (real: 0.19, user: 0.11, sys: 0.08, mem: 264880 ko) theories/Types/Paths.vo (real: 0.32, user: 0.25, sys: 0.07, mem: 344860 ko) theories/Categories/Category/Pi.vo (real: 0.10, user: 0.03, sys: 0.06, mem: 114428 ko) theories/HIT/Interval.vo (real: 0.09, user:

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Unexpected input(s) 'name', 'authToken', 'extraPullNames', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: geekyeggo/delete-artifact@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: geekyeggo/delete-artifact@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Unable to delete artifact "alectryon-html"; the artifact was not found.

Unable to delete artifact "workspace-8.17"; the artifact was not found.

Unable to delete artifact "file-dep-graphs"; the artifact was not found.

Unable to delete artifact "timing-html"; the artifact was not found.

Unable to delete artifact "workspace-dev"; the artifact was not found.

Unable to delete artifact "coqdoc-html"; the artifact was not found.

Unable to delete artifact "dep-graphs"; the artifact was not found.