Skip to content

Actions: codex-storage/codex-contracts-eth

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
685 workflow runs
685 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(certora): add invariant that totalSent is <= totalReceived CI #973: Pull request #147 synchronize by 0x-r4bbit
October 21, 2024 10:09 26m 21s certora-totalsent-le-totalreceived
certora-totalsent-le-totalreceived
October 21, 2024 10:09 26m 21s
chore(certora): add invariant that totalSent is <= totalReceived CI #972: Commit b413d77 pushed by 0x-r4bbit
October 21, 2024 10:09 26m 20s certora-totalsent-le-totalreceived
certora-totalsent-le-totalreceived
October 21, 2024 10:09 26m 20s
Add codex_testnet deployment artifacts (#197) Docker #63: Commit c3e4fdd pushed by veaceslavdoina
October 21, 2024 08:00 3m 51s master
master
October 21, 2024 08:00 3m 51s
Add codex_testnet deployment artifacts (#197) Docker - Dist-Tests #69: Commit c3e4fdd pushed by veaceslavdoina
October 21, 2024 08:00 3m 32s master
master
October 21, 2024 08:00 3m 32s
Add codex_testnet deployment artifacts (#197) CI #971: Commit c3e4fdd pushed by veaceslavdoina
October 21, 2024 08:00 51m 51s master
master
October 21, 2024 08:00 51m 51s
Add codex_testnet deployment artifacts CI #970: Pull request #197 opened by veaceslavdoina
October 21, 2024 07:41 1h 9m 40s feat/deploy-smart-contracts-for-codex_testnet
feat/deploy-smart-contracts-for-codex_testnet
October 21, 2024 07:41 1h 9m 40s
Add codex_testnet deployment artifacts CI #969: Commit ad2688d pushed by veaceslavdoina
October 21, 2024 07:37 1h 13m 4s feat/deploy-smart-contracts-for-codex_testnet
feat/deploy-smart-contracts-for-codex_testnet
October 21, 2024 07:37 1h 13m 4s
fix(slot-reservations): ensure slot is free CI #968: Pull request #196 opened by emizzle
October 17, 2024 07:16 1h 11m 54s fix/slot-reservations/require-slot-to-be-free-to-reserve
fix/slot-reservations/require-slot-to-be-free-to-reserve
October 17, 2024 07:16 1h 11m 54s
fix(slot-reservations): ensure slot is free CI #967: Commit 3005b80 pushed by emizzle
October 17, 2024 07:15 1h 11m 17s fix/slot-reservations/require-slot-to-be-free-to-reserve
fix/slot-reservations/require-slot-to-be-free-to-reserve
October 17, 2024 07:15 1h 11m 17s
refactor(certora): extract allowedRequestStateChanges rule into own CI #966: Pull request #194 synchronize by 0x-r4bbit
October 15, 2024 10:37 10m 53s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:37 10m 53s
refactor(certora): extract allowedRequestStateChanges rule into own CI #965: Commit e6f6adb pushed by 0x-r4bbit
October 15, 2024 10:37 1h 1m 37s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:37 1h 1m 37s
refactor(certora): extract allowedRequestStateChanges rule into own CI #964: Pull request #194 synchronize by 0x-r4bbit
October 15, 2024 10:26 2m 37s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:26 2m 37s
refactor(certora): extract allowedRequestStateChanges rule into own CI #963: Commit 6ab6ac1 pushed by 0x-r4bbit
October 15, 2024 10:26 2m 14s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:26 2m 14s
refactor(certora): extract allowedRequestStateChanges rule into own CI #962: Pull request #194 opened by 0x-r4bbit
October 15, 2024 10:14 5m 17s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:14 5m 17s
refactor(certora): extract allowedRequestStateChanges rule into own CI #961: Commit 92b41fb pushed by 0x-r4bbit
October 15, 2024 10:13 2m 31s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:13 2m 31s
refactor(certora): extract allowedRequestStateChanges rule into own… CI #960: Commit c1a661a pushed by 0x-r4bbit
October 15, 2024 10:11 2m 4s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:11 2m 4s
refactor(certora): extract allowedRequestStateChanges rule into own… CI #959: Commit 773af9f pushed by 0x-r4bbit
October 15, 2024 10:09 1m 52s refactor/extract-spec
refactor/extract-spec
October 15, 2024 10:09 1m 52s
chore(certora): verify slots transitions and that a slot can be paid … Docker #62: Commit 2a1bef5 pushed by 0x-r4bbit
October 15, 2024 09:06 4m 7s master
master
October 15, 2024 09:06 4m 7s
chore(certora): verify slots transitions and that a slot can be paid … CI #958: Commit 2a1bef5 pushed by 0x-r4bbit
October 15, 2024 09:06 50m 43s master
master
October 15, 2024 09:06 50m 43s
chore(certora): verify slots transitions and that a slot can be paid … Docker - Dist-Tests #68: Commit 2a1bef5 pushed by 0x-r4bbit
October 15, 2024 09:06 3m 37s master
master
October 15, 2024 09:06 3m 37s
chore(certora): verify slots transitions and that a slot can be paid only once CI #957: Pull request #188 synchronize by gravityblast
October 14, 2024 08:24 1h 13m 48s slot-state-transitions
slot-state-transitions
October 14, 2024 08:24 1h 13m 48s
chore(certora): verify slots transitions and that a slot can be paid … CI #956: Commit 777dc48 pushed by gravityblast
October 14, 2024 08:24 1h 13m 22s slot-state-transitions
slot-state-transitions
October 14, 2024 08:24 1h 13m 22s
feat: repair reward CI #955: Pull request #193 opened by AuHau
October 11, 2024 07:22 1h 7m 41s feat/repair-reward
feat/repair-reward
October 11, 2024 07:22 1h 7m 41s
feat: repair reward CI #954: Commit 4aacb6f pushed by AuHau
October 11, 2024 07:14 1h 9m 31s feat/repair-reward
feat/repair-reward
October 11, 2024 07:14 1h 9m 31s
update Certora spec CI #953: Commit c3cc2cd pushed by emizzle
October 9, 2024 05:24 1h 47m 56s feat/require-proof-to-free-slot
feat/require-proof-to-free-slot
October 9, 2024 05:24 1h 47m 56s