Skip to content

Actions: Layr-Labs/eigenlayer-contracts

Actions

.github/workflows/certora.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,672 workflow runs
3,672 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: address Protocol Registry informationals from Certora audit (#1690) .github/workflows/certora.yml #3622: Commit e4af766 pushed by ypatil12
Failure feat/slashing-improvements-audit-fixes
feat/slashing-improvements-audit-fixes
Failure
feat: update configure to take in name as a param .github/workflows/certora.yml #3621: Commit c54dabf pushed by ypatil12
Failure fix/protocol-registry-informationals
fix/protocol-registry-informationals
Failure
fix: address slashing commitments informationals from Certora audit (… .github/workflows/certora.yml #3620: Commit 9959779 pushed by ypatil12
Failure feat/slashing-improvements-audit-fixes
feat/slashing-improvements-audit-fixes
Failure
prevent button press/mints before epoch 0 .github/workflows/certora.yml #3619: Commit 71e5a82 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
passing .github/workflows/certora.yml #3618: Commit 403dd40 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
passing .github/workflows/certora.yml #3617: Commit dfe2f71 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
validate operator sets .github/workflows/certora.yml #3616: Commit 435d395 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
chore: remove unused file .github/workflows/certora.yml #3615: Commit d44717b pushed by ypatil12
Failure fix/slashing-commitments-informationals
fix/slashing-commitments-informationals
Failure
fix: update allocation delay fields immediately for newly registered … .github/workflows/certora.yml #3614: Commit a830f35 pushed by ypatil12
Failure feat/slashing-improvements-audit-fixes
feat/slashing-improvements-audit-fixes
Failure
chore: fmt .github/workflows/certora.yml #3613: Commit 612e314 pushed by ypatil12
Failure fix/L01-allocation-delay-storage
fix/L01-allocation-delay-storage
Failure
fix: update allocation delay fields immediately for newly registered … .github/workflows/certora.yml #3612: Commit 5c1e1ac pushed by ypatil12
Failure fix/L01-allocation-delay-storage
fix/L01-allocation-delay-storage
Failure
fix: update slasher field immediately when instantEffectBlock=true (#… .github/workflows/certora.yml #3611: Commit e9bb4b0 pushed by ypatil12
Failure feat/slashing-improvements-audit-fixes
feat/slashing-improvements-audit-fixes
Failure
update denominator .github/workflows/certora.yml #3610: Commit de09d42 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
remove disableDistribution, use update instead to disable + reenable .github/workflows/certora.yml #3609: Commit f5e2258 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
regression test .github/workflows/certora.yml #3608: Commit 2c68008 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
gap .github/workflows/certora.yml #3607: Commit b0a9d70 pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
fix: total weight check .github/workflows/certora.yml #3606: Commit 615c4cc pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
feat: update configure to take in name as a param .github/workflows/certora.yml #3605: Commit 905cc15 pushed by ypatil12
Failure fix/protocol-registry-informationals
fix/protocol-registry-informationals
Failure
wip .github/workflows/certora.yml #3604: Commit bac6dda pushed by 0xClandestine
Failure feat/deploy-incentives-council
feat/deploy-incentives-council
Failure
docs: add duration vault docs .github/workflows/certora.yml #3603: Commit 7fdc182 pushed by elhajin
Failure amin/duration-vaults-docs
amin/duration-vaults-docs
Failure
flakey test .github/workflows/certora.yml #3602: Commit 6eac771 pushed by 0xClandestine
Failure feat/rewards-protocol-fee
feat/rewards-protocol-fee
Failure
review .github/workflows/certora.yml #3601: Commit b2c392b pushed by 0xClandestine
-1s feat/incentives-implementation
feat/incentives-implementation
-1s
flakey test .github/workflows/certora.yml #3600: Commit 7f05baf pushed by 0xClandestine
Failure feat/incentives-implementation
feat/incentives-implementation
Failure
flakey test .github/workflows/certora.yml #3599: Commit 8933146 pushed by 0xClandestine
Failure feat/rewards-protocol-fee
feat/rewards-protocol-fee
Failure
test cleanup .github/workflows/certora.yml #3598: Commit 8f1f8e4 pushed by 0xClandestine
Failure feat/rewards-protocol-fee
feat/rewards-protocol-fee
Failure