Passed
Pull Request — master (#1796)
by
unknown
15:14 queued 07:00
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.79
▶   ± 0
Head
dependabot[bot]  
Merge ec7256fbf6e6a6348c962a151e6f82b94d91f204 into 72e2e792b455f1aad5cc510921324e0100180a63
1 more commit
Base
DariusIII  
Try to prevent manticore predg_rt errors