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

fv lock bids reverts fix CI #109: Commit c332694 pushed by aazhou1
September 24, 2024 20:58 2h 31m 48s fv-lock-bids-fix
fv-lock-bids-fix
September 24, 2024 20:58 2h 31m 48s
certora updates (#17) CI #108: Commit 262098c pushed by aazhou1
June 27, 2024 16:23 2h 3m 5s main
main
June 27, 2024 16:23 2h 3m 5s
get mint integrity to stop timing out CI #107: Commit ccb2ae4 pushed by aazhou1
June 27, 2024 05:51 23m 0s certora-updates
certora-updates
June 27, 2024 05:51 23m 0s
redemption reverts branch version removed CI #106: Commit 335b4f3 pushed by aazhou1
June 26, 2024 18:59 2h 6m 37s certora-updates
certora-updates
June 26, 2024 18:59 2h 6m 37s
redemption reverts branch version removed CI #105: Commit 7a5b2d3 pushed by aazhou1
June 26, 2024 18:21 2h 7m 17s certora-updates
certora-updates
June 26, 2024 18:21 2h 7m 17s
redemption reverts branch version removed CI #104: Commit 743973f pushed by aazhou1
June 26, 2024 15:28 2h 39m 15s certora-updates
certora-updates
June 26, 2024 15:28 2h 39m 15s
trying to get linking to work CI #103: Commit 46741e8 pushed by aazhou1
June 26, 2024 07:51 23m 27s certora-updates
certora-updates
June 26, 2024 07:51 23m 27s
trying to get linking to work CI #102: Commit 5df7c54 pushed by aazhou1
June 26, 2024 07:37 9m 6s certora-updates
certora-updates
June 26, 2024 07:37 9m 6s
trying to get linking to work CI #101: Commit 0bdb6ab pushed by aazhou1
June 26, 2024 07:27 8m 56s certora-updates
certora-updates
June 26, 2024 07:27 8m 56s
trying to get linking to work CI #100: Commit 660f315 pushed by aazhou1
June 26, 2024 07:14 9m 18s certora-updates
certora-updates
June 26, 2024 07:14 9m 18s
DISPATCHER true verifyMintExposureAccess CI #99: Commit c2e66c6 pushed by aazhou1
June 26, 2024 06:39 2h 10m 43s certora-updates
certora-updates
June 26, 2024 06:39 2h 10m 43s
add env to verifyMintExposureAccess calls CI #98: Commit 246506f pushed by aazhou1
June 26, 2024 05:48 52m 24s certora-updates
certora-updates
June 26, 2024 05:48 52m 24s
verify mint exposure access methods certora CI #97: Commit 04460ac pushed by aazhou1
June 26, 2024 05:36 13m 17s certora-updates
certora-updates
June 26, 2024 05:36 13m 17s
split repay and redemption revert certora specs CI #96: Commit c38a54d pushed by aazhou1
June 26, 2024 05:14 13m 40s certora-updates
certora-updates
June 26, 2024 05:14 13m 40s
ignore solidity warnings certora CI #95: Commit a08d26e pushed by aazhou1
June 26, 2024 04:59 16m 22s certora-updates
certora-updates
June 26, 2024 04:59 16m 22s
add semicolon to end of summary in access roles servicer certora CI #94: Commit 47592d6 pushed by aazhou1
June 26, 2024 04:45 16m 19s certora-updates
certora-updates
June 26, 2024 04:45 16m 19s
split repay and redemption revert certora specs CI #93: Commit 78040d3 pushed by aazhou1
June 25, 2024 22:47 2h 0m 20s certora-updates
certora-updates
June 25, 2024 22:47 2h 0m 20s
NONDET summary for access roles controller call for mint open exposur… CI #92: Commit aa7ce02 pushed by aazhou1
June 25, 2024 22:34 15m 18s certora-updates
certora-updates
June 25, 2024 22:34 15m 18s
add 2 new reverts for repayments in certora CI #91: Commit 5cce3b4 pushed by aazhou1
June 25, 2024 17:30 25m 51s certora-updates
certora-updates
June 25, 2024 17:30 25m 51s
beta cli runs for errors in certora prod CI #90: Commit d9ba8a5 pushed by aazhou1
June 25, 2024 16:39 53m 7s certora-updates
certora-updates
June 25, 2024 16:39 53m 7s
minting changes certora spec CI #89: Commit 00723b0 pushed by aazhou1
June 25, 2024 00:32 2h 32m 14s certora-updates
certora-updates
June 25, 2024 00:32 2h 32m 14s
minting changes certora spec CI #88: Commit 726543b pushed by aazhou1
June 25, 2024 00:18 8m 32s certora-updates
certora-updates
June 25, 2024 00:18 8m 32s
undo servicer update CI #87: Commit 7950d57 pushed by aazhou1
June 24, 2024 23:32 24m 25s certora-updates
certora-updates
June 24, 2024 23:32 24m 25s
further split tests CI #86: Commit d9e997a pushed by aazhou1
June 24, 2024 23:18 9m 9s certora-updates
certora-updates
June 24, 2024 23:18 9m 9s
100 address for treasury imported from rules for servicer CI #85: Commit 3488644 pushed by aazhou1
June 24, 2024 16:22 2h 32m 11s certora-updates
certora-updates
June 24, 2024 16:22 2h 32m 11s