Coverage

chore(specs): Re-organize `Specs/Quint` folder #491

Sign in to view logs

Summary
Jobs
- Integration
- MBT
Run details
- Usage
- Workflow file

Triggered via pull request January 9, 2024 16:03

romac

synchronize #139

romac/quint-reord

Status Success

Total duration 1m 35s

Artifacts –

coverage.yml

on: pull_request