Skip to content

Actions: 0xb337r007/codex-contracts-eth

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor(Marketplace): Use custom errors instead of string messages CI #19: Commit cc2d0b0 pushed by 0x-r4bbit
August 5, 2024 09:58 2m 4s custom-errors
custom-errors
August 5, 2024 09:58 2m 4s
chore: remove unused certora script CI #18: Commit 06ff33f pushed by 0x-r4bbit
July 24, 2024 10:18 2m 7s certora
certora
July 24, 2024 10:18 2m 7s
docs: add missing docs for certora-cli CI #17: Commit f0c7a17 pushed by 0x-r4bbit
July 24, 2024 10:08 2m 8s certora
certora
July 24, 2024 10:08 2m 8s
chore: initial Certora specs setup CI #16: Commit bdcbd04 pushed by 0xb337r007
July 23, 2024 09:32 2m 2s certora
certora
July 23, 2024 09:32 2m 2s
chore: initial Certora specs setup CI #15: Commit 0ae9d16 pushed by 0xb337r007
July 22, 2024 11:45 2m 5s certora
certora
July 22, 2024 11:45 2m 5s
chore: initial Certora specs setup CI #14: Commit 448e739 pushed by 0xb337r007
July 22, 2024 11:44 2m 3s certora
certora
July 22, 2024 11:44 2m 3s
cleanup certora specs CI #13: Commit 796acc7 pushed by 0xb337r007
July 22, 2024 09:27 2m 4s certora
certora
July 22, 2024 09:27 2m 4s
Merge pull request #1 from Certora/certora CI #12: Commit c16f67e pushed by 0xb337r007
July 22, 2024 09:17 4m 27s certora
certora
July 22, 2024 09:17 4m 27s
update compiler version in test contracts CI #10: Commit c276e87 pushed by 0xb337r007
July 3, 2024 11:16 2m 16s certora
certora
July 3, 2024 11:16 2m 16s
update use of token CI #9: Commit 11dac55 pushed by 0xb337r007
June 7, 2024 11:53 2m 48s certora
certora
June 7, 2024 11:53 2m 48s
update compiler version in fuzz tests contract CI #8: Commit 3f21b09 pushed by 0xb337r007
June 6, 2024 14:26 2m 32s certora
certora
June 6, 2024 14:26 2m 32s
update harness CI #7: Commit ae99528 pushed by 0xb337r007
June 6, 2024 14:12 2m 17s certora
certora
June 6, 2024 14:12 2m 17s
use actions/checkout@v4 CI #6: Commit 4830117 pushed by 0xb337r007
June 6, 2024 14:06 2m 23s certora
certora
June 6, 2024 14:06 2m 23s
use actions/checkout@v4 CI #5: Commit 824cce9 pushed by 0xb337r007
June 6, 2024 13:43 2m 16s certora
certora
June 6, 2024 13:43 2m 16s
bump solidity version in ci workflow CI #4: Commit fd4bdd9 pushed by 0xb337r007
June 6, 2024 08:53 2m 2s certora
certora
June 6, 2024 08:53 2m 2s
add harness and marketplace totals rules CI #3: Commit 9a342eb pushed by 0xb337r007
June 6, 2024 08:51 2m 0s certora
certora
June 6, 2024 08:51 2m 0s
add RULE argument to certora script CI #2: Commit 0211ea2 pushed by 0xb337r007
June 3, 2024 10:05 1m 47s certora
certora
June 3, 2024 10:05 1m 47s
initial Certora setup CI #1: Commit fd04a9a pushed by 0xb337r007
June 3, 2024 10:02 1m 47s certora
certora
June 3, 2024 10:02 1m 47s