Skip to content
Quint

spec/keeper: Adds Skip threshold and threshold emission tracking #10

Sign in to view logs

spec/keeper: Adds Skip threshold and threshold emission tracking

spec/keeper: Adds Skip threshold and threshold emission tracking #10

Triggered via pull request October 31, 2023 19:11
@angbravangbrav
synchronize #30
manuel/f+1-rule
Status Success
Total duration 32s
Artifacts –

quint.yml

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