Codespell

feat(spec): WIP: Draft of Quint reset protocol #239

Sign in to view logs

Triggered via pull request April 24, 2024 13:39

synchronize #174

josef/resetQuint

Status Success

Total duration 22s

Billable time 1m

Artifacts –

codespell.yml

on: pull_request