sushiswap / trident / 1673412741

Builds Branch Commit Type Ran Committer Via Coverage
1673412741 housekeeping chore: gitignore certora generated files push Matthew Lilley github pending completion   set done
1673412784 housekeeping Merge 5452b6507 into 1f830e350 Pull #300 GitHub github pending completion   set done
1673372873 housekeeping Merge 47c8ede1b into 1f830e350 Pull #300 GitHub github pending completion   set done
1673372816 housekeeping workflow(certora): default solc 0.8.7 push Matthew Lilley github pending completion   set done
1673368670 housekeeping chore: update spec paths push Matthew Lilley github pending completion   set done
1673368741 housekeeping Merge 2720b6424 into 1f830e350 Pull #300 GitHub github pending completion   set done
1673362202 housekeeping workflow(certora): add additional solc8.4 for oz push Matthew Lilley github pending completion   set done
1673362216 housekeeping Merge 7ab6ce23e into 1f830e350 Pull #300 GitHub github pending completion   set done
1673345551 housekeeping Merge ee440fa39 into 1f830e350 Pull #300 GitHub github pending completion   set done
1673345514 housekeeping fix: solc8.2 & solc.6.12 not found by downloading both and mv with correct name push Matthew Lilley github pending completion   set done
1673338357 housekeeping chore: update apply harness paths push Matthew Lilley github pending completion   set done
1673338432 housekeeping Merge 93543a8fc into 1f830e350 Pull #300 GitHub github pending completion   set done
1673317920 housekeeping workflow(certora): use solc 0.8.2 push Matthew Lilley github pending completion   set done
1673317938 housekeeping Merge 6995711c7 into 1f830e350 Pull #300 GitHub github pending completion   set done
1673307393 housekeeping Merge f3b0fac9d into 1f830e350 Pull #300 GitHub github pending completion   set done