Skip to content
ci

Basic support for checking raw pointer read/write #2949

Sign in to view logs

Basic support for checking raw pointer read/write

Basic support for checking raw pointer read/write #2949

Triggered via pull request February 10, 2026 15:12
@ranjitjhalaranjitjhala
synchronize #1462
ptr
Status Success
Total duration 5m 43s
Artifacts –

ci.yml

on: pull_request
vtock
5m 36s
vtock
rustfmt
29s
rustfmt
clippy
45s
clippy
Matrix: lean-demo
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lean-demo (ubuntu-latest)
Process completed with exit code 101.
lean-demo (macos-latest)
Process completed with exit code 101.