Skip to content
Rust CI

fix(lean4/cno): finish loadStore_preserves_memory cons-case build #106

Sign in to view logs

fix(lean4/cno): finish loadStore_preserves_memory cons-case build

fix(lean4/cno): finish loadStore_preserves_memory cons-case build #106

Triggered via pull request May 20, 2026 22:02
@hyperpolymathhyperpolymath
opened #28
fix/lean-cno-cons-case-2026-05-20
Status Cancelled
Total duration 1d 0h 0m 2s
Artifacts –

rust-ci.yml

on: pull_request
test
1d 0h
test
security
1d 0h
security
coverage
1d 0h
coverage
Fit to window
Zoom out
Zoom in

Annotations

3 errors
security
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
test
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
coverage
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s