Measure coverage for integration tests in CI #2743

Sign in to view logs

Triggered via pull request July 18, 2023 00:06

bboston7

synchronize #1893

bb/ci-coverage

Status Cancelled

Total duration 1h 7m 40s

Artifacts 17

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request

Matrix: build

Matrix: build-push-image

Matrix: cabal-test

Matrix: Test SAW exercises

Matrix: heapster-tests

Matrix: Test s2n proofs

Matrix: saw-remote-api-tests

Matrix: mr-solver-tests

Annotations

7 errors, 134 warnings, and 1 notice

cabal-test (integration_tests, ubuntu-22.04, false, true)

Process completed with exit code 2.

Test s2n proofs (awslc, 8.10.7)

The operation was canceled.

heapster-tests (macos-12)

The operation was canceled.

cabal-test (integration_tests, macos-12, true, false)

The operation was canceled.

heapster-tests (ubuntu-22.04)

The operation was canceled.

cabal-test (integration_tests, windows-2019, true, false, 60)

The operation was canceled.

Test s2n proofs (blst, 8.10.7)

The operation was canceled.

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 9.4.4, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (windows-2019, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)

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 (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)

Cache save failed.

build (macos-12, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-12, 3.10.1.0, 9.4.4, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (macos-12, 3.10.1.0, 9.4.4, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

Defined but not used: ‘ty’

build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)

This binding for ‘sym’ shadows the existing binding

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (windows-2019, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Defined but not used: ‘ty’

build (windows-2019, 3.10.1.0, 9.2.7, true, false)

Defined but not used: ‘s’

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

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 (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

Defined but not used: ‘s’

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

Defined but not used: ‘ty’

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘sym’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp'’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

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 (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

Defined but not used: ‘s’

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

Defined but not used: ‘ty’

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘sym’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘tp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘tp'’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘rp’ shadows the existing binding

build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-12, 3.10.1.0, 8.10.7, true, false)

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 (macos-12, 3.10.1.0, 8.10.7, true, false)

Defined but not used: ‘ty’

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘sym’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp'’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

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 (windows-2019, 3.10.1.0, 8.10.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

Defined but not used: ‘s’

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

Defined but not used: ‘ty’

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘sym’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘tp'’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (windows-2019, 3.10.1.0, 8.10.7, true, false)

This binding for ‘rp’ shadows the existing binding

build (macos-12, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-12, 3.10.1.0, 9.2.7, true, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 (macos-12, 3.10.1.0, 9.2.7, true, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Defined but not used: ‘ty’

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

Pattern match(es) are non-exhaustive

build (macos-12, 3.10.1.0, 9.2.7, true, false)

This binding for ‘sym’ shadows the existing binding

build (macos-12, 3.10.1.0, 9.2.7, true, false)

This binding for ‘tp’ shadows the existing binding

build (macos-12, 3.10.1.0, 9.2.7, true, false)

This binding for ‘tp'’ shadows the existing binding

cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

mr-solver-tests (ubuntu-22.04)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)

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

cabal-test (prover_tests, ubuntu-22.04, false, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

cabal-test (test-sawcore, ubuntu-22.04, false, false)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)

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

saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/download-artifact@v2, actions/setup-python@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 SAW exercises (8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

mr-solver-tests (macos-12)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (drbg, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (hmac-failure, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (sike, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (bike, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (hmac, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 s2n proofs (tls, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

cabal-test (integration_tests, ubuntu-22.04, false, true)

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

Test s2n proofs (awslc, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

heapster-tests (macos-12)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

cabal-test (integration_tests, macos-12, true, false)

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

heapster-tests (ubuntu-22.04)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

cabal-test (integration_tests, windows-2019, true, false, 60)

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

Test s2n proofs (blst, 8.10.7)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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/

heapster-tests (ubuntu-22.04)

An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100

Artifacts

Produced during runtime

Name	Size
Linux-bins Expired	446 MB
Linux-hpc.tar.gz Expired	10 MB
Linux-with-hpc-bins Expired	513 MB
Windows-bins Expired	323 MB
dist-tests-macos-12 Expired	84.3 MB
dist-tests-ubuntu-20.04 Expired	155 MB
dist-tests-ubuntu-22.04 Expired	155 MB
dist-tests-windows-2019 Expired	196 MB
macOS-bins Expired	311 MB
saw-1.0.0.99-macos-12-x86_64 (GHC 8.10.7) Expired	50.4 MB
saw-1.0.0.99-macos-12-x86_64-with-solvers (GHC 8.10.7) Expired	99.4 MB
saw-1.0.0.99-ubuntu-20.04-x86_64 (GHC 8.10.7) Expired	74.2 MB
saw-1.0.0.99-ubuntu-20.04-x86_64-with-solvers (GHC 8.10.7) Expired	133 MB
saw-1.0.0.99-ubuntu-22.04-x86_64 (GHC 8.10.7) Expired	74.2 MB
saw-1.0.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 8.10.7) Expired	134 MB
saw-1.0.0.99-windows-2019-x86_64 (GHC 8.10.7) Expired	53.4 MB
saw-1.0.0.99-windows-2019-x86_64-with-solvers (GHC 8.10.7) Expired	107 MB