CI for spectec

Suppress auxiliary rule from prose #956

Sign in to view logs

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

Re-run triggered February 3, 2025 08:33

f52985

main

Status Success

Total duration 9m 9s

Artifacts –

ci-spectec.yml

on: push