Skip to content

Actions: Phoenix-Protocol-Group/phoenix-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,061 workflow runs
1,061 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adds files for running certora
Basic #1415: Pull request #440 opened by gangov
February 28, 2025 16:27 1m 36s kalo/certora-verification-language
February 28, 2025 16:27 1m 36s
All: msgs to extend all instance / persistent storage ttl
Basic #1414: Pull request #439 synchronize by gangov
February 24, 2025 15:10 5m 3s 438-extend-ttl-entry-points
February 24, 2025 15:10 5m 3s
All: msgs to extend all instance / persistent storage ttl
Basic #1413: Pull request #439 synchronize by gangov
February 21, 2025 19:51 5m 2s 438-extend-ttl-entry-points
February 21, 2025 19:51 5m 2s
All: msgs to extend all instance / persistent storage ttl
Basic #1412: Pull request #439 synchronize by gangov
February 21, 2025 19:48 5m 16s 438-extend-ttl-entry-points
February 21, 2025 19:48 5m 16s
All: msgs to extend all instance / persistent storage ttl
Basic #1411: Pull request #439 synchronize by gangov
February 21, 2025 18:58 4m 57s 438-extend-ttl-entry-points
February 21, 2025 18:58 4m 57s
Merge pull request #429 from Phoenix-Protocol-Group/kalo/original-rew…
Code coverage check #231: Commit 9ce6b63 pushed by gangov
February 21, 2025 17:00 27s main
February 21, 2025 17:00 27s
Stake: using tag v1.0.0 impl
Basic #1410: Pull request #429 synchronize by gangov
February 21, 2025 16:51 5m 9s kalo/original-rewards-impl
February 21, 2025 16:51 5m 9s
All: msgs to extend all instance / persistent storage ttl
Basic #1409: Pull request #439 synchronize by gangov
February 21, 2025 09:16 5m 7s 438-extend-ttl-entry-points
February 21, 2025 09:16 5m 7s
All: msgs to extend all instance / persistent storage ttl
Basic #1408: Pull request #439 synchronize by gangov
February 20, 2025 14:27 5m 25s 438-extend-ttl-entry-points
February 20, 2025 14:27 5m 25s
All: msgs to extend all instance / persistent storage ttl
Basic #1407: Pull request #439 synchronize by gangov
February 20, 2025 13:42 4m 55s 438-extend-ttl-entry-points
February 20, 2025 13:42 4m 55s
All: msgs to extend all instance / persistent storage ttl
Basic #1406: Pull request #439 synchronize by gangov
February 20, 2025 13:34 5m 5s 438-extend-ttl-entry-points
February 20, 2025 13:34 5m 5s
All: msgs to extend all instance / persistent storage ttl
Basic #1405: Pull request #439 synchronize by gangov
February 20, 2025 13:32 1m 9s 438-extend-ttl-entry-points
February 20, 2025 13:32 1m 9s
All: msgs to extend all instance / persistent storage ttl
Basic #1404: Pull request #439 synchronize by gangov
February 20, 2025 12:19 5m 35s 438-extend-ttl-entry-points
February 20, 2025 12:19 5m 35s
All: msgs to extend all instance / persistent storage ttl
Basic #1403: Pull request #439 synchronize by gangov
February 20, 2025 12:17 5m 10s 438-extend-ttl-entry-points
February 20, 2025 12:17 5m 10s
All: msgs to extend all instance / persistent storage ttl
Basic #1402: Pull request #439 synchronize by gangov
February 20, 2025 09:22 5m 8s 438-extend-ttl-entry-points
February 20, 2025 09:22 5m 8s
Merge pull request #437 from Phoenix-Protocol-Group/436-implement-ver…
Code coverage check #230: Commit 620e6b4 pushed by ueco-jb
February 19, 2025 11:48 5m 15s main
February 19, 2025 11:48 5m 15s
Merge pull request #434 from Phoenix-Protocol-Group/kalo/improve-quer…
Code coverage check #229: Commit bf6c4de pushed by ueco-jb
February 18, 2025 11:29 5m 15s main
February 18, 2025 11:29 5m 15s
Stake: using tag v1.0.0 impl
Basic #1396: Pull request #429 synchronize by gangov
February 17, 2025 15:57 4m 58s kalo/original-rewards-impl
February 17, 2025 15:57 4m 58s
Merge pull request #435 from Phoenix-Protocol-Group/91-pair-allow-0-a…
Code coverage check #228: Commit b886512 pushed by gangov
February 13, 2025 08:54 5m 1s main
February 13, 2025 08:54 5m 1s