Skip to content

feat: add config parameter for predicate quantifier #155

feat: add config parameter for predicate quantifier

feat: add config parameter for predicate quantifier #155

Re-run triggered March 2, 2024 21:12
Status Success
Total duration 39s
Artifacts
build
30s
build
test-inline
3s
test-inline
test-external
2s
test-external
test-without-token
3s
test-without-token
test-wd-without-token
4s
test-wd-without-token
test-local-changes
3s
test-local-changes
test-change-type
3s
test-change-type
Fit to window
Zoom out
Zoom in