Skip to content

VST on Iris

VST on Iris #979

Triggered via pull request March 21, 2024 23:58
@mansky1mansky1
synchronize #755
vst_on_iris
Status Failure
Total duration 49m 45s
Artifacts 5

coq-action.yml

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

Annotations

5 errors and 286 warnings
test (8.19, test5, 32)
The reference OracleKind was not found in the current environment.
test (8.19, test2, 32)
Cannot find a physical path bound to logical path
test (8.19, test, 32)
Cannot find a physical path bound to logical path
test (8.18, test4, 64)
Anomaly "conversion was given unreduced term (FLambda)."
test (8.18, test, 64)
Anomaly "conversion was given unreduced term (FLambda)."
build (dev, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (dev, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (dev, 64, vst): compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
build (dev, 64, vst): compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
build (dev, 64, vst): compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
build (dev, 64, vst): zlist/sublist.v#L340
Notation rev_length is deprecated since 8.20.
build (dev, 64, vst): zlist/sublist.v#L340
Notation rev_length is deprecated since 8.20.
build (8.19, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.19, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.19, 64, vst): ora/theories/algebra/ora.v#L104
Projection value has no head constant:
build (8.19, 64, vst): ora/theories/algebra/ora.v#L150
Notation "_ ⋅? _" was already used in scope stdpp_scope.
build (8.19, 64, vst): ora/theories/algebra/ora.v#L857
Hiding binding of key RF to rFunctor_scope
build (8.19, 64, vst): ora/theories/algebra/ora.v#L894
Hiding binding of key URF to urFunctor_scope
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1061
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1069
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_ora_mixin by ora_mixin in
build (8.19, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_cmra_mixin by
build (8.19, 32, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.19, 32, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.19, 32, vst): ora/theories/algebra/ora.v#L104
Projection value has no head constant:
build (8.19, 32, vst): ora/theories/algebra/ora.v#L150
Notation "_ ⋅? _" was already used in scope stdpp_scope.
build (8.19, 32, vst): ora/theories/algebra/ora.v#L857
Hiding binding of key RF to rFunctor_scope
build (8.19, 32, vst): ora/theories/algebra/ora.v#L894
Hiding binding of key URF to urFunctor_scope
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1061
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1069
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_ora_mixin by ora_mixin in
build (8.19, 32, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_cmra_mixin by
build (8.17, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.17, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.17, 64, vst): ora/theories/algebra/ora.v#L104
Projection value has no head constant:
build (8.17, 64, vst): ora/theories/algebra/ora.v#L150
Notation "_ ⋅? _" was already used in scope stdpp_scope.
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1061
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1069
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_ora_mixin by ora_mixin in
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_cmra_mixin by
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_ofe_mixin by ora_ofe_mixin
build (8.17, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.18, 64, vst)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (8.18, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.18, 64, vst): ora/theories/algebra/ora.v#L104
Projection value has no head constant:
build (8.18, 64, vst): ora/theories/algebra/ora.v#L150
Notation "_ ⋅? _" was already used in scope stdpp_scope.
build (8.18, 64, vst): ora/theories/algebra/ora.v#L857
Hiding binding of key RF to rFunctor_scope
build (8.18, 64, vst): ora/theories/algebra/ora.v#L894
Hiding binding of key URF to urFunctor_scope
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1061
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1069
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by ora_orderN in
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1086
Ignoring canonical projection to discrete_orderN by uora_orderN in
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_ora_mixin by ora_mixin in
build (8.18, 64, vst): ora/theories/algebra/ora.v#L1120
Ignoring canonical projection to discrete_cmra_mixin by
test (8.18, assumptions.txt, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.18, assumptions.txt, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.18, assumptions.txt, 64)
Custom entry dfrac has been overridden.
test (8.18, assumptions.txt, 64)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.18, assumptions.txt, 64)
Hiding binding of key RF to rFunctor_scope
test (8.18, assumptions.txt, 64)
Hiding binding of key URF to urFunctor_scope
test (8.18, assumptions.txt, 64)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.18, assumptions.txt, 64)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.18, assumptions.txt, 64)
Notation "_ ~~> _" was already used.
test (8.19, assumptions.txt, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, assumptions.txt, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, assumptions.txt, 64)
Custom entry dfrac has been overridden.
test (8.19, assumptions.txt, 64)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.19, assumptions.txt, 64)
Hiding binding of key RF to rFunctor_scope
test (8.19, assumptions.txt, 64)
Hiding binding of key URF to urFunctor_scope
test (8.19, assumptions.txt, 64)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.19, assumptions.txt, 64)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.19, assumptions.txt, 64)
Notation "_ ~~> _" was already used.
test (8.17, assumptions.txt, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.17, assumptions.txt, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.17, assumptions.txt, 64)
Custom entry dfrac has been overridden.
test (8.17, assumptions.txt, 64)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.17, assumptions.txt, 64)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.17, assumptions.txt, 64)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.17, assumptions.txt, 64)
Notation "_ ~~> _" was already used.
test (8.19, test3, 32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test3, 32)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test3, 32)
Custom entry dfrac has been overridden.
test (dev, assumptions.txt, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (dev, assumptions.txt, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (dev, assumptions.txt, 64)
Custom entry dfrac has been overridden.
test (dev, assumptions.txt, 64)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (dev, assumptions.txt, 64)
Hiding binding of key RF to rFunctor_scope
test (dev, assumptions.txt, 64)
Hiding binding of key URF to urFunctor_scope
test (dev, assumptions.txt, 64)
Notation "_ * _" was already used in scope rFunctor_scope.
test (dev, assumptions.txt, 64)
Notation "_ * _" was already used in scope urFunctor_scope.
test (dev, assumptions.txt, 64)
Notation "_ ~~> _" was already used.
test (8.19, assumptions.txt, 32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, assumptions.txt, 32)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, assumptions.txt, 32)
Custom entry dfrac has been overridden.
test (8.19, assumptions.txt, 32)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.19, assumptions.txt, 32)
Hiding binding of key RF to rFunctor_scope
test (8.19, assumptions.txt, 32)
Hiding binding of key URF to urFunctor_scope
test (8.19, assumptions.txt, 32)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.19, assumptions.txt, 32)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.19, assumptions.txt, 32)
Notation "_ ~~> _" was already used.
test (8.19, test5, 32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test5, 32)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test5, 32)
Custom entry dfrac has been overridden.
test (8.19, test5, 32)
Notation "□" in custom dfrac was already used.
test (8.19, test5, 32)
Notation "{# _ }" in custom dfrac was already used.
test (8.19, test5, 32)
Notation "" in custom dfrac was already used.
test (8.19, test5, 32)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.19, test5, 32)
Hiding binding of key RF to rFunctor_scope
test (8.19, test5, 32)
Hiding binding of key URF to urFunctor_scope
test (8.19, test5, 32)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.19, test5, 32)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.19, test5, 32)
Notation "_ ~~> _" was already used.
test (8.19, test2, 32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test2, 32)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test2, 32)
Custom entry dfrac has been overridden.
test (8.19, test2, 32)
Notation "_ ~~> _" was already used.
test (8.19, test2, 32)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.19, test2, 32)
Hiding binding of key RF to orarFunctor_scope
test (8.19, test2, 32)
Hiding binding of key URF to uorarFunctor_scope
test (8.19, test2, 32)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.19, test2, 32)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.19, test2, 32)
Notation "□" in custom dfrac was already used.
test (8.19, test2, 32)
Notation "{# _ }" in custom dfrac was already used.
test (8.19, test2, 32)
Notation "" in custom dfrac was already used.
test (8.19, test, 32)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test, 32)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test, 32)
Custom entry dfrac has been overridden.
test (8.19, test, 32)
Notation "□" in custom dfrac was already used.
test (8.19, test, 32)
Notation "{# _ }" in custom dfrac was already used.
test (8.19, test, 32)
Notation "" in custom dfrac was already used.
test (8.19, test, 32)
Notation "_ ⋅? _" was already used in scope stdpp_scope.
test (8.19, test, 32)
Hiding binding of key RF to rFunctor_scope
test (8.19, test, 32)
Hiding binding of key URF to urFunctor_scope
test (8.19, test, 32)
Notation "_ * _" was already used in scope rFunctor_scope.
test (8.19, test, 32)
Notation "_ * _" was already used in scope urFunctor_scope.
test (8.19, test, 32)
Notation "_ ~~> _" was already used.
test (8.18, test2, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.18, test2, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Custom entry dfrac has been overridden.
test (8.18, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.18, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.18, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.18, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.17, test2, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.17, test2, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.17, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test2, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Custom entry dfrac has been overridden.
test (8.19, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.19, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.19, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.19, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.18, test4, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.18, test4, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.18, test4, 64)
Custom entry dfrac has been overridden.
test (8.18, test4, 64)
Ignoring canonical projection to view_ucmra_mixin by
test (8.18, test4, 64)
Ignoring canonical projection to ora_mixin by uora_ora_mixin in
test (8.18, test4, 64)
Ignoring canonical projection to cmra_mixin by uora_cmra_mixin in
test (8.18, test4, 64)
Ignoring canonical projection to ofe_mixin by uora_ofe_mixin in
test (8.18, test4, 64)
Ignoring canonical projection to view_empty_instance by uora_unit in
test (8.18, test4, 64)
Ignoring canonical projection to ora_orderN by uora_orderN in
test (8.18, test4, 64)
Ignoring canonical projection to ora_order by uora_order in
test (8.18, test4, 64)
Ignoring canonical projection to cmra_validN by uora_validN in
test (8.18, test4, 64)
Ignoring canonical projection to cmra_valid by uora_valid in
test (dev, test2, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (dev, test2, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Custom entry dfrac has been overridden.
test (dev, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (dev, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (dev, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (dev, test2, 64)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (8.19, test4, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test4, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test4, 64)
Custom entry dfrac has been overridden.
test (8.19, test4, 64)
Ignoring canonical projection to view_ucmra_mixin by
test (8.19, test4, 64)
Ignoring canonical projection to ora_mixin by uora_ora_mixin in
test (8.19, test4, 64)
Ignoring canonical projection to cmra_mixin by uora_cmra_mixin in
test (8.19, test4, 64)
Ignoring canonical projection to ofe_mixin by uora_ofe_mixin in
test (8.19, test4, 64)
Ignoring canonical projection to view_empty_instance by uora_unit in
test (8.19, test4, 64)
Ignoring canonical projection to ora_orderN by uora_orderN in
test (8.19, test4, 64)
Ignoring canonical projection to ora_order by uora_order in
test (8.19, test4, 64)
Ignoring canonical projection to cmra_validN by uora_validN in
test (8.19, test4, 64)
Ignoring canonical projection to cmra_valid by uora_valid in
test (dev, test4, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (dev, test4, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (dev, test4, 64)
Custom entry dfrac has been overridden.
test (dev, test4, 64)
Ignoring canonical projection to view_ucmra_mixin by
test (dev, test4, 64)
Ignoring canonical projection to ora_mixin by uora_ora_mixin in
test (dev, test4, 64)
Ignoring canonical projection to cmra_mixin by uora_cmra_mixin in
test (dev, test4, 64)
Ignoring canonical projection to ofe_mixin by uora_ofe_mixin in
test (dev, test4, 64)
Ignoring canonical projection to view_empty_instance by uora_unit in
test (dev, test4, 64)
Ignoring canonical projection to ora_orderN by uora_orderN in
test (dev, test4, 64)
Ignoring canonical projection to ora_order by uora_order in
test (dev, test4, 64)
Ignoring canonical projection to cmra_validN by uora_validN in
test (dev, test4, 64)
Ignoring canonical projection to cmra_valid by uora_valid in
test (8.17, test4, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.17, test4, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.17, test4, 64)
Custom entry dfrac has been overridden.
test (8.17, test4, 64)
Ignoring canonical projection to view_ucmra_mixin by
test (8.17, test4, 64)
Ignoring canonical projection to ora_mixin by uora_ora_mixin in
test (8.17, test4, 64)
Ignoring canonical projection to cmra_mixin by uora_cmra_mixin in
test (8.17, test4, 64)
Ignoring canonical projection to ofe_mixin by uora_ofe_mixin in
test (8.17, test4, 64)
Ignoring canonical projection to view_empty_instance by uora_unit in
test (8.17, test4, 64)
Ignoring canonical projection to ora_orderN by uora_orderN in
test (8.17, test4, 64)
Ignoring canonical projection to ora_order by uora_order in
test (8.17, test4, 64)
Ignoring canonical projection to cmra_validN by uora_validN in
test (8.17, test4, 64)
Ignoring canonical projection to cmra_valid by uora_valid in
test (8.18, test, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.18, test, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.18, test, 64)
Syntax "Export Set" is deprecated, use the attribute syntax
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.18, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.18, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.18, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.18, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.19, test, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Syntax "Export Set" is deprecated, use the attribute syntax
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.19, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.19, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.19, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (8.19, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (8.17, test, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (8.17, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (dev, test, 64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (dev, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Syntax "Export Set" is deprecated, use the attribute syntax
test (dev, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Custom entry dfrac has been overridden.
test (dev, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (dev, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (dev, test, 64)
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
test (dev, test, 64)
Custom entry dfrac has been overridden.

Artifacts

Produced during runtime
Name Size
VST build artifacts 8.17 64 Expired
119 MB
VST build artifacts 8.18 64 Expired
118 MB
VST build artifacts 8.19 32 Expired
123 MB
VST build artifacts 8.19 64 Expired
123 MB
VST build artifacts dev 64 Expired
88.4 MB