Add predicate-quantifier to action manifest #174
This workflow is awaiting approval from a maintainer in #259
Triggered via pull request
February 5, 2025 22:54
rohansingh
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #259
pull-request-verification.yml
on: pull_request
build
test-change-type
test-external
test-inline
test-local-changes
test-wd-without-token
test-without-token