Quint

refactor(spec): new structure for the `specs/` directory #592

Sign in to view logs

Summary
Jobs
- Typecheck
- Test
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2024 07:49

cason

synchronize #602

cason/250-spec-reorg

Status Success

Total duration 5m 31s

Billable time 10m

Artifacts –

quint.yml

on: pull_request