This repository has been archived by the owner on Nov 22, 2024. It is now read-only.
Update statement creation to rev a4645e4bc3e78ad5cfd9f8347c7e0ac8267c1079 of SCITT arch and implement verification of statements #426
| Job | Run time |
|---|---|
| 37s | |
| 47s | |
| 31s | |
| 1m 55s |