Skip to content

Actions: term-finance/term-finance-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

100 address for treasury imported from rules for servicer CI #84: Commit 36af4cb pushed by aazhou1
June 23, 2024 05:23 9m 6s certora-updates
certora-updates
June 23, 2024 05:23 9m 6s
fix acccess roles for servicer certora spec CI #83: Commit 8937188 pushed by aazhou1
June 23, 2024 05:09 8m 25s certora-updates
certora-updates
June 23, 2024 05:09 8m 25s
controller harness for certora CI #82: Commit 38073be pushed by aazhou1
June 23, 2024 04:57 8m 44s certora-updates
certora-updates
June 23, 2024 04:57 8m 44s
controller harness for certora CI #81: Commit d1e24e1 pushed by aazhou1
June 23, 2024 04:48 8m 19s certora-updates
certora-updates
June 23, 2024 04:48 8m 19s
100 address for treasury imported from rules for servicer CI #80: Commit a7943dd pushed by aazhou1
June 22, 2024 22:10 17m 44s certora-updates
certora-updates
June 22, 2024 22:10 17m 44s
100 address for treasury imported from rules for servicer CI #79: Commit 3a42c44 pushed by aazhou1
June 22, 2024 21:16 8m 51s certora-updates
certora-updates
June 22, 2024 21:16 8m 51s
100 address for treasury imported from rules for servicer CI #78: Commit 7da828e pushed by aazhou1
June 22, 2024 01:06 24m 30s certora-updates
certora-updates
June 22, 2024 01:06 24m 30s
treasuery address always 100 CI #77: Commit 8468755 pushed by aazhou1
June 22, 2024 00:52 9m 20s certora-updates
certora-updates
June 22, 2024 00:52 9m 20s
treasuery address always 100 CI #76: Commit 4838471 pushed by aazhou1
June 22, 2024 00:42 9m 23s certora-updates
certora-updates
June 22, 2024 00:42 9m 23s
treasuery cannot be borrow address CI #75: Commit 9bb3594 pushed by aazhou1
June 21, 2024 23:44 34m 4s certora-updates
certora-updates
June 21, 2024 23:44 34m 4s
treasuery cannot be borrow address CI #74: Commit 4faeef2 pushed by aazhou1
June 21, 2024 23:25 17m 28s certora-updates
certora-updates
June 21, 2024 23:25 17m 28s
no zero address msg sender in exposure opening on new rollover certora CI #73: Commit 42a611e pushed by aazhou1
June 21, 2024 23:01 19m 8s certora-updates
certora-updates
June 21, 2024 23:01 19m 8s
add envfree declaration of get treasury address to rollover exposure … CI #72: Commit 4621474 pushed by aazhou1
June 21, 2024 22:26 30m 19s certora-updates
certora-updates
June 21, 2024 22:26 30m 19s
prevent previous term locker from conflicting with controller treasur… CI #71: Commit fa90c26 pushed by aazhou1
June 21, 2024 21:55 9m 11s certora-updates
certora-updates
June 21, 2024 21:55 9m 11s
link controller to servicer in servicer spec for certora CI #70: Commit d148d86 pushed by aazhou1
June 21, 2024 21:06 27m 57s certora-updates
certora-updates
June 21, 2024 21:06 27m 57s
remove specialist role from servicer specs certora CI #69: Commit cd55e0f pushed by aazhou1
June 21, 2024 18:23 2h 5m 58s certora-updates
certora-updates
June 21, 2024 18:23 2h 5m 58s
remove extra semicolon CI #68: Commit 793cd2b pushed by aazhou1
June 21, 2024 18:02 9m 16s certora-updates
certora-updates
June 21, 2024 18:02 9m 16s
update access roles test for servicer with new controller function fo… CI #67: Commit 3e15dce pushed by aazhou1
June 21, 2024 17:49 8m 29s certora-updates
certora-updates
June 21, 2024 17:49 8m 29s
replace newSplitParallel certora config proverarg CI #66: Commit 15871d7 pushed by aazhou1
June 21, 2024 07:06 2h 3m 43s certora-updates
certora-updates
June 21, 2024 07:06 2h 3m 43s
get rid of branch versions of certora CI #65: Commit 0bdb54d pushed by aazhou1
June 21, 2024 06:35 14m 29s certora-updates
certora-updates
June 21, 2024 06:35 14m 29s
replace newSplitParallel certora config proverarg CI #64: Commit d1832fd pushed by aazhou1
June 21, 2024 05:59 13m 22s certora-updates
certora-updates
June 21, 2024 05:59 13m 22s
ignore solidity warnings rollover manager CI #63: Commit 23c8fea pushed by aazhou1
June 20, 2024 21:30 6m 3s certora-updates
certora-updates
June 20, 2024 21:30 6m 3s
ignore solidity warnings in servicer CI #62: Commit 8acea29 pushed by aazhou1
June 20, 2024 21:20 8m 49s certora-updates
certora-updates
June 20, 2024 21:20 8m 49s
certora updates CI #61: Commit 719007c pushed by aazhou1
June 20, 2024 21:08 8m 45s certora-updates
certora-updates
June 20, 2024 21:08 8m 45s
certora cli upgrade CI #60: Commit 7da1ba7 pushed by aazhou1
June 20, 2024 18:06 8m 24s main
main
June 20, 2024 18:06 8m 24s