Skip to content

Actions: Layr-Labs/eigenlayer-contracts

Actions

.github/workflows/certora.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: low magnitude integration tests .github/workflows/certora.yml #384: Commit 970223e pushed by 8sunyuan
February 26, 2025 16:57 Failure rounding-case-tests
rounding-case-tests
February 26, 2025 16:57 Failure
test: low magnitude integration tests .github/workflows/certora.yml #383: Commit 6f3c2e9 pushed by 8sunyuan
February 26, 2025 16:53 Failure rounding-case-tests
rounding-case-tests
February 26, 2025 16:53 Failure
chore: push failing test .github/workflows/certora.yml #382: Commit 46d23cc pushed by ypatil12
February 26, 2025 16:30 Failure yash/remaining-upgrade-tests
yash/remaining-upgrade-tests
February 26, 2025 16:30 Failure
test: T-95 -> T-96 .github/workflows/certora.yml #381: Commit f42f5cd pushed by 0xClandestine
February 26, 2025 16:06 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 16:06 Failure
fix: update run.sh tasks to match contracts .github/workflows/certora.yml #380: Commit a5103e2 pushed by grezle
February 26, 2025 14:02 Failure gd/slashing-tasks
gd/slashing-tasks
February 26, 2025 14:02 Failure
fix: update run.sh tasks to match contracts .github/workflows/certora.yml #379: Commit f5a7421 pushed by grezle
February 26, 2025 13:47 Failure gd/slashing-tasks
gd/slashing-tasks
February 26, 2025 13:47 Failure
fix: update run.sh tasks to match contracts .github/workflows/certora.yml #378: Commit 6fb7c66 pushed by grezle
February 26, 2025 13:45 Failure gd/slashing-tasks
gd/slashing-tasks
February 26, 2025 13:45 Failure
test(refactor): add operator deregistration timing tests .github/workflows/certora.yml #377: Commit d96add5 pushed by nadir-akhtar
February 26, 2025 03:49 Failure nadir/timing-integration-tests
nadir/timing-integration-tests
February 26, 2025 03:49 Failure
fix: ci passing .github/workflows/certora.yml #376: Commit 35ab604 pushed by 0xClandestine
February 26, 2025 00:56 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 00:56 Failure
fix: ci passing .github/workflows/certora.yml #375: Commit e7189ef pushed by 0xClandestine
February 26, 2025 00:38 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 00:38 Failure
fix: ci passing .github/workflows/certora.yml #374: Commit 5ae42b2 pushed by 0xClandestine
February 26, 2025 00:32 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 00:32 Failure
fix: ci passing .github/workflows/certora.yml #373: Commit 9153484 pushed by 0xClandestine
February 26, 2025 00:30 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 00:30 Failure
test: T-83 -> T-86 .github/workflows/certora.yml #372: Commit 37d7212 pushed by 0xClandestine
February 26, 2025 00:26 Failure 0xclandestine/slashing-integration-testing-2
0xclandestine/slashing-integration-testing-2
February 26, 2025 00:26 Failure
test(integration): add operator timing tests .github/workflows/certora.yml #371: Commit 5f1a459 pushed by nadir-akhtar
February 25, 2025 23:47 Failure nadir/timing-integration-tests
nadir/timing-integration-tests
February 25, 2025 23:47 Failure
test: t-17 .github/workflows/certora.yml #370: Commit f3fafda pushed by ypatil12
February 25, 2025 23:25 Failure yash/bc-upgrade-tests
yash/bc-upgrade-tests
February 25, 2025 23:25 Failure
refactor: move eigenpod negative share tests into eigenpod.t.sol .github/workflows/certora.yml #369: Commit 560188e pushed by ypatil12
February 25, 2025 23:10 Failure yash/bc-upgrade-tests
yash/bc-upgrade-tests
February 25, 2025 23:10 Failure
test: uncommenting test in Slashed_Eigenpod .github/workflows/certora.yml #368: Commit 2f934c6 pushed by eigenmikem
February 25, 2025 22:59 Failure mike/slashing-integration-testing1
mike/slashing-integration-testing1
February 25, 2025 22:59 Failure
test: add bc migration tests .github/workflows/certora.yml #367: Commit 48e930d pushed by ypatil12
February 25, 2025 22:54 Failure yash/bc-upgrade-tests
yash/bc-upgrade-tests
February 25, 2025 22:54 Failure
test: helper function for getting withdrawable shares for partial wit… .github/workflows/certora.yml #366: Commit 14eb9d8 pushed by eigenmikem
February 25, 2025 22:48 Failure mike/slashing-integration-testing1
mike/slashing-integration-testing1
February 25, 2025 22:48 Failure
chore: rename contract .github/workflows/certora.yml #365: Commit 13bbe21 pushed by eigenmikem
February 25, 2025 22:07 Failure mike/slashing-integration-testing1
mike/slashing-integration-testing1
February 25, 2025 22:07 Failure
refactor: modify timing tests for updated syntax .github/workflows/certora.yml #364: Commit 1a7870f pushed by nadir-akhtar
February 25, 2025 22:06 Failure nadir/timing-integration-tests
nadir/timing-integration-tests
February 25, 2025 22:06 Failure
test: stopgap dsf unchanged sol .github/workflows/certora.yml #363: Commit 2698da3 pushed by eigenmikem
February 25, 2025 22:01 Failure mike/slashing-integration-testing1
mike/slashing-integration-testing1
February 25, 2025 22:01 Failure
test: add full slash upgrade scenarios .github/workflows/certora.yml #362: Commit a78f25c pushed by ypatil12
February 25, 2025 21:58 Failure yash/bc-upgrade-tests
yash/bc-upgrade-tests
February 25, 2025 21:58 Failure
test: redeposits and var name changes .github/workflows/certora.yml #361: Commit 1d85402 pushed by eigenmikem
February 25, 2025 21:34 Failure mike/slashing-integration-testing1
mike/slashing-integration-testing1
February 25, 2025 21:34 Failure
feat: beacon chain full and half slashes (#1163) .github/workflows/certora.yml #360: Commit 519e447 pushed by ypatil12
February 25, 2025 21:09 Failure test/slashing-integration-testing
test/slashing-integration-testing
February 25, 2025 21:09 Failure