Skip to content
magic

boolector: bins of btor2tools are now in subdir 'build' #511

Sign in to view logs

boolector: bins of btor2tools are now in subdir 'build'

boolector: bins of btor2tools are now in subdir 'build' #511

Triggered via push May 15, 2024 10:47
@umarcorumarcor
pushed 09422fe
main
Status Failure
Total duration 1h 18m 18s
Artifacts –

magic.yml

on: push
magic  /  matrix
8s
magic / matrix
Matrix: magic / jobs
magic-irsim  /  matrix
8s
magic-irsim / matrix
Matrix: magic-irsim / jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 15 warnings
magic-irsim / amd64/debian/bullseye | magic/irsim
Process completed with exit code 1.
magic / amd64/debian/bookworm | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / amd64/debian/bullseye | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / arm64v8/debian/bookworm | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / s390x/debian/bookworm | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / ppc64le/debian/bookworm | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / arm64v8/debian/bullseye | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / s390x/debian/bullseye | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic / ppc64le/debian/bullseye | pkg/magic magic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / amd64/debian/bookworm | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / arm64v8/debian/bookworm | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / ppc64le/debian/bookworm | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / arm64v8/debian/bullseye | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / s390x/debian/bookworm | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / ppc64le/debian/bullseye | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
magic-irsim / s390x/debian/bullseye | magic/irsim
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.