Skip to content

(c2rust-analyze) Add more (still incomplete) dataflow constraints for ptr casts #1881

(c2rust-analyze) Add more (still incomplete) dataflow constraints for ptr casts

(c2rust-analyze) Add more (still incomplete) dataflow constraints for ptr casts #1881

Triggered via pull request June 12, 2023 20:31
Status Success
Total duration 16m 14s
Artifacts 1

internal-testsuite.yml

on: pull_request
build-on-ubuntu-2004
16m 5s
build-on-ubuntu-2004
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-on-ubuntu-2004
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/cache@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.

Artifacts

Produced during runtime
Name Size
testsuite-build-artifacts Expired
1.99 MB