Update github actions artifact to version 4.1.7 #1101
andrew-appelAnnotations
19 errors and 25 warnings
|
test (8.18, test, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.18, assumptions.txt, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.18, test4, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (dev, assumptions.txt, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.18, test5, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, assumptions.txt, 32)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test, 32)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test5, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.18, test2, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test2, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (dev, test5, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test2, 32)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (dev, test, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test4, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, assumptions.txt, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (dev, test4, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (8.19, test3, 32)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
test (dev, test2, 64)
This request has been automatically failed because it uses a deprecated version of `actions/download-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|
|
build (dev, 64, vst):
msl/Axioms.v#L7
Coq.Logic.ClassicalFacts has been replaced by
|
|
build (dev, 64, vst):
msl/Axioms.v#L23
Coq.Logic.FunctionalExtensionality has been replaced by
|
|
build (dev, 64, vst):
msl/Extensionality.v#L5
Coq.Logic.EqdepFacts has been replaced by Stdlib.Logic.EqdepFacts.
|
|
build (dev, 64, vst):
msl/Extensionality.v#L139
Coq.Init.Prelude.f_equal has been replaced by
|
|
build (dev, 64, vst):
msl/base.v#L10
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
|
build (dev, 64, vst):
msl/base.v#L11
Coq.Bool.Bool has been replaced by Stdlib.Bool.Bool.
|
|
build (dev, 64, vst):
msl/base.v#L12
Coq.Relations.Relations has been replaced by
|
|
build (dev, 64, vst):
msl/ageable.v#L7
Coq.funind.Recdef has been replaced by Stdlib.funind.Recdef.
|
|
build (dev, 64, vst):
msl/ageable.v#L193
Coq.Wellfounded.Wellfounded has been replaced by
|
|
build (dev, 64, vst):
msl/sepalg.v#L104
Automatically putting Flat_alg in Prop even though it was declared
|
|
build (8.18, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.18, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.18, 64, vst):
concurrency/semax_conc_pred.v#L20
Notation "_ oo _" was already used.
|
|
build (8.19, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.19, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.19, 64, vst):
floyd/canon.v#L14
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 64, vst):
floyd/canon.v#L505
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 64, vst):
floyd/proofauto.v#L61
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 64, vst):
concurrency/semax_conc_pred.v#L20
Notation "_ oo _" was already used.
|
|
build (8.19, 32, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.19, 32, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (8.19, 32, vst):
floyd/canon.v#L14
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 32, vst):
floyd/canon.v#L505
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 32, vst):
floyd/proofauto.v#L61
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, 32, vst):
concurrency/semax_conc_pred.v#L20
Notation "_ oo _" was already used.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VST build artifacts 8.18 64
Expired
|
120 MB |
|
|
VST build artifacts 8.19 32
Expired
|
124 MB |
|
|
VST build artifacts 8.19 64
Expired
|
124 MB |
|
|
VST build artifacts dev 64
Expired
|
79.4 MB |
|