Skip to content

Actions: lambdaclass/ethlambda

Actions

GitHub Actions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_lint_gha.yaml
13 workflow runs
13 workflow runs

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
Migrate from Poseidon2 to Poseidon1 signature scheme GitHub Actions #13: Pull request #275 opened by pablodeymo
7s poseidon1-migration
poseidon1-migration
7s
feat: formalize slot_is_justifiable_after in Lean4 GitHub Actions #12: Pull request #269 synchronize by MegaRedHand
9s lean-formalization
lean-formalization
9s
feat: formalize slot_is_justifiable_after in Lean4 GitHub Actions #11: Pull request #269 synchronize by MegaRedHand
9s lean-formalization
lean-formalization
9s
feat: formalize slot_is_justifiable_after in Lean4 GitHub Actions #10: Pull request #269 synchronize by MegaRedHand
8s lean-formalization
lean-formalization
8s
feat: formalize slot_is_justifiable_after in Lean4 GitHub Actions #9: Pull request #269 synchronize by MegaRedHand
11s lean-formalization
lean-formalization
11s
feat: formalize slot_is_justifiable_after in Lean4 GitHub Actions #8: Pull request #269 synchronize by MegaRedHand
9s lean-formalization
lean-formalization
9s
ci: generate test fixtures from pinned leanSpec commit GitHub Actions #7: Pull request #118 synchronize by MegaRedHand
8s ci/pin-leanSpec-version
ci/pin-leanSpec-version
8s
ci: generate test fixtures from pinned leanSpec commit GitHub Actions #6: Pull request #118 synchronize by MegaRedHand
9s ci/pin-leanSpec-version
ci/pin-leanSpec-version
9s
ci: generate test fixtures from pinned leanSpec commit GitHub Actions #5: Pull request #118 synchronize by MegaRedHand
11s ci/pin-leanSpec-version
ci/pin-leanSpec-version
11s
ci: generate test fixtures from pinned leanSpec commit GitHub Actions #4: Pull request #118 opened by MegaRedHand
9s ci/pin-leanSpec-version
ci/pin-leanSpec-version
9s
fix: improve block fetch logic GitHub Actions #3: Pull request #114 synchronize by MegaRedHand
10s improve-block-fetch-logic
improve-block-fetch-logic
10s
ci: add GHA and license linters GitHub Actions #2: Pull request #95 synchronize by MegaRedHand
9s ci/add-linters
ci/add-linters
9s
ci: add GHA and license linters GitHub Actions #1: Pull request #95 opened by MegaRedHand
9s ci/add-linters
ci/add-linters
9s