Skip to content

Refactor the Quint specification after #144 #566

Refactor the Quint specification after #144

Refactor the Quint specification after #144 #566

Triggered via pull request August 8, 2024 08:48
Status Success
Total duration 14s
Artifacts

typos.yaml

on: pull_request
Fit to window
Zoom out
Zoom in