Skip to content
Run QL for QL

Rust MaD: add blanket-impl fallback for sink/source/barrier matching and model GlobalAlloc::realloc #50257

Sign in to view logs

Rust MaD: add blanket-impl fallback for sink/source/barrier matching and model GlobalAlloc::realloc

Rust MaD: add blanket-impl fallback for sink/source/barrier matching and model GlobalAlloc::realloc #50257

Re-run triggered August 27, 2026 09:44
@hvitvedhvitved
#22442
copilot/rust-implements-fallback
Status Success
Total duration 3m 4s
Artifacts 2

ql-for-ql-build.yml

on: pull_request
analyze
2m 59s
analyze
Fit to window
Zoom out
Zoom in

Annotations

1 warning
analyze
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v3, actions/cache@v3, actions/github-script@v6, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
ql-for-ql-langs
26.6 MB
sha256:e5dba802691675dcf62f1580ea70a1d98a208635f7da46258ab366d8e2d0b6fc
ql-for-ql.sarif
1.61 MB
sha256:f2c4b4ee36bdcbedb4fde14c343880647d4248451af022593932e1531ff068d2