CI for spectec

[spectec] Implement IterPr in IL evaluator #86

Sign in to view logs

Summary
Jobs
- spec-tec
Run details
- Usage
- Workflow file

Triggered via pull request November 20, 2025 08:57

rossberg

synchronize #2031

iterpr

Status Success

Total duration 10m 34s

Artifacts –

ci-spectec.yml

on: pull_request