This repository has been archived by the owner on Feb 18, 2024. It is now read-only.
Update behavior of any/all for regular and Kleene logic
#5664
| Job | Run time |
|---|---|
| 39s | |
| 5s | |
| 44s |