Skip to content

Actions: ajna-finance/ajna-core

Actions

Slither Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
slither.yml
581 workflow runs
581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Invariants improvements (#955) Slither Analysis #4420: Commit b826e7f pushed by ith-harvey
December 18, 2023 13:38 1m 1s develop
develop
December 18, 2023 13:38 1m 1s
Merge branch 'develop' into failing-regressions Slither Analysis #4419: Commit 9437bdf pushed by prateek105
December 18, 2023 13:14 47s failing-regressions
failing-regressions
December 18, 2023 13:14 47s
Modify computation of quotetoken amount in TakerActions.sol (#1035) Slither Analysis #4418: Commit 59c1b5b pushed by ith-harvey
December 18, 2023 13:10 52s develop
develop
December 18, 2023 13:10 52s
Merge branch 'develop' into failing-regressions Slither Analysis #4417: Commit 98bec73 pushed by prateek105
December 18, 2023 06:23 58s failing-regressions
failing-regressions
December 18, 2023 06:23 58s
@grandizzy Slither Analysis #4416: Commit 90b0c2d pushed by prateek105
December 18, 2023 06:21 49s failing-regressions
failing-regressions
December 18, 2023 06:21 49s
remove additional references Slither Analysis #4415: Commit 50e2343 pushed by MikeHathaway
December 17, 2023 20:09 37s remove-rewards-mgr
remove-rewards-mgr
December 17, 2023 20:09 37s
remove additional rewards manager references Slither Analysis #4414: Commit 433de34 pushed by MikeHathaway
December 17, 2023 19:41 51s remove-rewards-mgr
remove-rewards-mgr
December 17, 2023 19:41 51s
update comment Slither Analysis #4413: Commit f6634d9 pushed by EdNoepel
December 17, 2023 19:10 54s cra-interval
cra-interval
December 17, 2023 19:10 54s
merge develop Slither Analysis #4412: Commit 8942237 pushed by MikeHathaway
December 17, 2023 18:53 44s remove-rewards-mgr
remove-rewards-mgr
December 17, 2023 18:53 44s
shortened CRA interval to 5 days Slither Analysis #4411: Commit effe7f9 pushed by EdNoepel
December 17, 2023 18:07 53s cra-interval
cra-interval
December 17, 2023 18:07 53s
Calculate reserve auction price using kicked amount (#1032) Slither Analysis #4410: Commit 8d452da pushed by EdNoepel
December 17, 2023 17:55 59s develop
develop
December 17, 2023 17:55 59s
removed rayToWad Slither Analysis #4409: Commit f9c22d5 pushed by ith-harvey
December 17, 2023 17:35 52s reserve-auction-price
reserve-auction-price
December 17, 2023 17:35 52s
Merge pull request #1038 from ajna-finance/fix-merge-conflicts Slither Analysis #4408: Commit 4e466e1 pushed by grandizzy
December 17, 2023 06:35 59s develop
develop
December 17, 2023 06:35 59s
updated basehandler Slither Analysis #4407: Commit 4699feb pushed by ith-harvey
December 17, 2023 03:44 40s failing-regressions
failing-regressions
December 17, 2023 03:44 40s
updated base Slither Analysis #4406: Commit b72e5f8 pushed by ith-harvey
December 17, 2023 03:25 50s failing-regression-solv
failing-regression-solv
December 17, 2023 03:25 50s
update borrowerInfo threshold price references Slither Analysis #4405: Commit 0dcad0b pushed by MikeHathaway
December 16, 2023 22:48 36s update-borrower-info
update-borrower-info
December 16, 2023 22:48 36s
fix compile warnings Slither Analysis #4404: Commit b34a871 pushed by MikeHathaway
December 16, 2023 22:45 39s update-borrower-info
update-borrower-info
December 16, 2023 22:45 39s
return thresholdPrice instead of t0ThresholdPrice Slither Analysis #4403: Commit 4e8b999 pushed by MikeHathaway
December 16, 2023 22:34 50s update-borrower-info
update-borrower-info
December 16, 2023 22:34 50s
Merge branch 'develop' into fix-merge-conflicts Slither Analysis #4402: Commit cb202ef pushed by grandizzy
December 16, 2023 20:33 51s fix-merge-conflicts
fix-merge-conflicts
December 16, 2023 20:33 51s
added min protection to restrict underflow on bucketTake (#1033) Slither Analysis #4401: Commit c13ae9b pushed by ith-harvey
December 16, 2023 20:27 39s develop
develop
December 16, 2023 20:27 39s
Merge remote-tracking branch 'origin' into fix-merge-conflicts Slither Analysis #4400: Commit 9603533 pushed by grandizzy
December 16, 2023 20:01 40s fix-merge-conflicts
fix-merge-conflicts
December 16, 2023 20:01 40s
updated repay Slither Analysis #4399: Commit 401e52b pushed by ith-harvey
December 16, 2023 19:56 55s l1-certora-fix
l1-certora-fix
December 16, 2023 19:56 55s
Merge remote-tracking branch 'origin' into fix-merge-conflicts Slither Analysis #4398: Commit 1f1402b pushed by grandizzy
December 16, 2023 19:54 39s fix-merge-conflicts
fix-merge-conflicts
December 16, 2023 19:54 39s
work through merge Slither Analysis #4397: Commit fcf5681 pushed by ith-harvey
December 16, 2023 18:20 43s failing-regressions-develop-merge
failing-regressions-develop-merge
December 16, 2023 18:20 43s
_revertIfActiveAuctions helper should revert with ActiveAuction e… Slither Analysis #4396: Commit be8718b pushed by grandizzy
December 16, 2023 16:31 56s develop
develop
December 16, 2023 16:31 56s