CI for spectec

[spectec] Implement IterPr in IL evaluator #85

Sign in to view logs

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

Triggered via pull request November 20, 2025 08:53

rossberg

opened #2031

iterpr

Status Success

Total duration 10m 18s

Artifacts –

ci-spectec.yml

on: pull_request