Date | Speed | Branch | Collection | Tests | Bits | |
---|---|---|---|---|---|---|
main | bench | 316/361 | 5629/6722 | » | ||
main | bench | 318/361 | 5722/6673 | » | ||
main | bench | 318/360 | 5684/6661 | » | ||
main | bench | 326/361 | 5731/6717 | » | ||
main | bench | 319/361 | 5701/6666 | » | ||
main | bench | 328/361 | 5713/6734 | » | ||
main | bench | 320/361 | 5607/6665 | » | ||
main | bench | 320/360 | 5682/6717 | » | ||
main | bench | 320/360 | 5716/6655 | » | ||
main | bench | 314/361 | 5662/6604 | » | ||
main | bench | 317/361 | 5687/6718 | » | ||
main | bench | 314/360 | 5717/6718 | » | ||
main | bench | 314/360 | 5717/6718 | » | ||
main | bench | 314/360 | 5717/6718 | » | Date | Speed | Branch | Collection | Tests | Bits |
api-analyze-endpoint | bench | 316/361 | 5629/6722 | » | ||
api-analyze-endpoint | bench | 318/361 | 5722/6673 | » | Date | Speed | Branch | Collection | Tests | Bits |
egraph-extract-original | bench | 319/361 | 5737/6737 | » | ||
egraph-extract-original | bench | 319/360 | 5632/6661 | » | Date | Speed | Branch | Collection | Tests | Bits |
compact-report-plots | bench | 319/361 | 5749/6728 | » | ||
compact-report-plots | bench | 320/360 | 5682/6717 | » | Date | Speed | Branch | Collection | Tests | Bits |
oflatt-proof-flatten-limit | bench | 318/360 | 5684/6661 | » | Date | Speed | Branch | Collection | Tests | Bits |
oflatt-egglog-ctx | bench | 307/368 | 5138/6342 | » | ||
oflatt-egglog-ctx | bench | 302/368 | 5054/6303 | » | ||
oflatt-egglog-ctx | bench | 0/540 | 0/0 | » | ||
oflatt-egglog-ctx | bench | 0/540 | 0/0 | » | Date | Speed | Branch | Collection | Tests | Bits |
update-gh-actions | bench | 320/361 | 5607/6665 | » | Date | Speed | Branch | Collection | Tests | Bits |
refactor-sandbox | bench | 319/360 | 5659/6653 | » | Date | Speed | Branch | Collection | Tests | Bits |
explain-error | bench | 321/360 | 5743/6719 | » | Date | Speed | Branch | Collection | Tests | Bits |
oflatt-taylor-sound | bench | 329/361 | 5643/6733 | » | Date | Speed | Branch | Collection | Tests | Bits |
no-rules-in-reduce | bench | 314/360 | 5717/6718 | » | Date | Speed | Branch | Collection | Tests | Bits |
render-proofs | bench | 314/360 | 5717/6718 | » |