Skip to content

handles duplicates; extend executorEvent with round #3

handles duplicates; extend executorEvent with round

handles duplicates; extend executorEvent with round #3

Triggered via pull request October 25, 2023 19:10
Status Success
Total duration 31s
Artifacts

quint.yml

on: pull_request
Typecheck
17s
Typecheck
Fit to window
Zoom out
Zoom in