Skip to content

Actions: lambdaclass/ethlambda

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: formalize slot_is_justifiable_after in Lean4 CI #784: Pull request #269 synchronize by MegaRedHand
1m 28s lean-formalization
lean-formalization
1m 28s
feat: formalize slot_is_justifiable_after in Lean4 Check License #95: Pull request #269 synchronize by MegaRedHand
15s lean-formalization
lean-formalization
15s
fix: self-deliver aggregator attestations to gossip_signatures CI #783: Pull request #270 synchronize by MegaRedHand
1m 1s fix/aggregator-self-delivery
fix/aggregator-self-delivery
1m 1s
Devnet4: dual-key validators, block signing, and type migration CI #782: Pull request #233 synchronize by pablodeymo
48m 8s devnet4-phase4-network
devnet4-phase4-network
48m 8s
feat: formalize slot_is_justifiable_after in Lean4 Check License #94: Pull request #269 synchronize by MegaRedHand
15s lean-formalization
lean-formalization
15s
feat: formalize slot_is_justifiable_after in Lean4 CI #781: Pull request #269 synchronize by MegaRedHand
4m 31s lean-formalization
lean-formalization
4m 31s
Publish Docker Image Publish Docker Image #46: Manually run by MegaRedHand
2m 10s main
main
2m 10s
fix: self-deliver aggregator attestations to gossip_signatures CI #780: Pull request #270 synchronize by MegaRedHand
1m 10s fix/aggregator-self-delivery
fix/aggregator-self-delivery
1m 10s
feat: formalize slot_is_justifiable_after in Lean4 Check License #93: Pull request #269 synchronize by MegaRedHand
15s lean-formalization
lean-formalization
15s
feat: formalize slot_is_justifiable_after in Lean4 CI #779: Pull request #269 synchronize by MegaRedHand
7m 21s lean-formalization
lean-formalization
7m 21s
fix: self-deliver aggregator attestations to gossip_signatures CI #778: Pull request #270 synchronize by MegaRedHand
1m 0s fix/aggregator-self-delivery
fix/aggregator-self-delivery
1m 0s
feat: formalize slot_is_justifiable_after in Lean4 CI #777: Pull request #269 synchronize by MegaRedHand
7m 12s lean-formalization
lean-formalization
7m 12s
feat: formalize slot_is_justifiable_after in Lean4 Check License #92: Pull request #269 synchronize by MegaRedHand
16s lean-formalization
lean-formalization
16s
fix: self-deliver aggregator attestations to gossip_signatures CI #776: Pull request #270 synchronize by MegaRedHand
1m 4s fix/aggregator-self-delivery
fix/aggregator-self-delivery
1m 4s
fix: self-deliver aggregator attestations to gossip_signatures AI Code Review #344: Issue comment #270 (comment) created by greptile-apps bot
1s
1s
feat: formalize slot_is_justifiable_after in Lean4 CI #775: Pull request #269 synchronize by MegaRedHand
7m 21s lean-formalization
lean-formalization
7m 21s
feat: formalize slot_is_justifiable_after in Lean4 Check License #91: Pull request #269 synchronize by MegaRedHand
18s lean-formalization
lean-formalization
18s
fix: self-deliver aggregator attestations to gossip_signatures AI Code Review #343: Pull request #270 opened by MegaRedHand
2m 14s fix/aggregator-self-delivery
fix/aggregator-self-delivery
2m 14s
fix: self-deliver aggregator attestations to gossip_signatures CI #774: Pull request #270 opened by MegaRedHand
1m 9s fix/aggregator-self-delivery
fix/aggregator-self-delivery
1m 9s
feat: formalize slot_is_justifiable_after in Lean4 Check License #90: Pull request #269 synchronize by MegaRedHand
15s lean-formalization
lean-formalization
15s
feat: formalize slot_is_justifiable_after in Lean4 CI #773: Pull request #269 synchronize by MegaRedHand
2m 6s lean-formalization
lean-formalization
2m 6s
Use post-block checkpoints for proposer attestation source and target… CI #772: Commit fd2cc63 pushed by pablodeymo
1m 9s main
main
1m 9s
Use post-block checkpoints for proposer attestation source and target CI #771: Pull request #268 synchronize by pablodeymo
1m 3s fix-proposer-attestation-stale-checkpoints
fix-proposer-attestation-stale-checkpoints
1m 3s
Use post-block checkpoints for proposer attestation source and target CI #770: Pull request #268 synchronize by pablodeymo
1m 6s fix-proposer-attestation-stale-checkpoints
fix-proposer-attestation-stale-checkpoints
1m 6s
feat: formalize slot_is_justifiable_after in Lean4 CI #769: Pull request #269 synchronize by MegaRedHand
6m 47s lean-formalization
lean-formalization
6m 47s