Skip to content
ci

Basic support for checking raw pointer read/write #2936

Sign in to view logs

Basic support for checking raw pointer read/write

Basic support for checking raw pointer read/write #2936

Triggered via pull request February 10, 2026 04:06
@ranjitjhalaranjitjhala
synchronize #1462
ptr
Status Failure
Total duration 6m 17s
Artifacts –

ci.yml

on: pull_request
vtock
6m 13s
vtock
rustfmt
31s
rustfmt
clippy
57s
clippy
Matrix: lean-demo
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

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