Skip to content
Pull Request Verification

fix: Unexpected input(s) 'predicate-quantifier' #156

Sign in to view logs

fix: Unexpected input(s) 'predicate-quantifier'

fix: Unexpected input(s) 'predicate-quantifier' #156

Triggered via pull request March 4, 2024 06:29
@petermetzpetermetz
opened #226
petermetz:petermetz/issue225
Status Success
Total duration 34s
Artifacts –

pull-request-verification.yml

on: pull_request
build
26s
build
test-inline
4s
test-inline
test-external
3s
test-external
test-without-token
5s
test-without-token
test-wd-without-token
3s
test-wd-without-token
test-local-changes
4s
test-local-changes
test-change-type
3s
test-change-type
Fit to window
Zoom out
Zoom in