Skip to content
CI for spectec

[spec] Define the syntax of exact heap types #11

Sign in to view logs

[spec] Define the syntax of exact heap types

[spec] Define the syntax of exact heap types #11

Triggered via pull request February 3, 2026 06:06
@tlivelytlively
synchronize #93
spectec-exact-heap-type-syntax
Status Failure
Total duration 4m 33s
Artifacts –

ci-spectec.yml

on: pull_request
spec-tec
4m 30s
spec-tec
Fit to window
Zoom out
Zoom in

Annotations

1 error
spec-tec
Process completed with exit code 2.