Skip to content

framac: fixing cvc4 bin version #55

framac: fixing cvc4 bin version

framac: fixing cvc4 bin version #55

Triggered via push July 31, 2024 16:13
Status Cancelled
Total duration 5m 32s
Billable time 21m
Artifacts

build.yml

on: push
forge_matrix
5s
forge_matrix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 4 warnings
test
Canceling since a higher priority waiting request for 'Sentry kernel build-refs/heads/ci-fix-framac-image' exists
test
The operation was canceled.
test
Value cannot be null. (Parameter 'ContainerId')
doc
Canceling since a higher priority waiting request for 'Sentry kernel build-refs/heads/ci-fix-framac-image' exists
doc
The operation was canceled.
build (mesonbuild/ubuntu-rolling, gcc|12.3.Rel1, stm32f429i_disc1_debug)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: stellar-aria/llvm-embedded-toolchain-for-arm-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (mesonbuild/ubuntu-rolling, gcc|12.3.Rel1, nucleo_f401re)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: stellar-aria/llvm-embedded-toolchain-for-arm-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (mesonbuild/ubuntu-rolling, gcc|12.3.Rel1, nucleo_l476rg_debug)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: stellar-aria/llvm-embedded-toolchain-for-arm-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (mesonbuild/ubuntu-rolling, gcc|12.3.Rel1, nucleo_u5a5_autotest)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: stellar-aria/llvm-embedded-toolchain-for-arm-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/