Skip to content
Quint

feat(code/test): Generalize the test framework to make it work with a… #867

Sign in to view logs

feat(code/test): Generalize the test framework to make it work with a…

feat(code/test): Generalize the test framework to make it work with a… #867

Triggered via push February 12, 2025 13:02
@github-merge-queuegithub-merge-queue[bot]
pushed 490766e
main
Status Success
Total duration 6m 39s
Artifacts –

quint.yml

on: push
Detect changes
3s
Detect changes
Typecheck
3m 42s
Typecheck
Test
6m 14s
Test
Fit to window
Zoom out
Zoom in