Skip to content

Actions: leanEthereum/leanSpec

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ 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
refactor(fork-choice): rename key_state to target_post_state (#1132) CI #3238: Commit 37fdfd3 pushed by tcoratger
4h 54m 24s main
main
4h 54m 24s
fix(validator): enforce validator index matches registry position CI #3237: Pull request #1147 synchronize by tcoratger
4h 10m 4s tcoratger:audit-forks/validator-index-invariant
tcoratger:audit-forks/validator-index-invariant
4h 10m 4s
docs(lstar): tidy docstring summaries in slot, checkpoint, state (#1145) CI #3236: Commit 97c9f86 pushed by tcoratger
5h 2m 46s main
main
5h 2m 46s
fix(validator): enforce validator index matches registry position CI #3235: Pull request #1147 opened by tcoratger
3m 5s tcoratger:audit-forks/validator-index-invariant
tcoratger:audit-forks/validator-index-invariant
3m 5s
refactor(fork-choice): unify ancestor-at-slot walks into one helper CI #3234: Pull request #1146 opened by tcoratger
4h 7m 5s tcoratger:audit-forks/ancestor-at-slot-helper
tcoratger:audit-forks/ancestor-at-slot-helper
4h 7m 5s
refactor(lstar): drop Any leakage from genesis/store creation (#1141) CI #3233: Commit ec63d1c pushed by tcoratger
4h 55m 2s main
main
4h 55m 2s
docs(fork-choice): trim drifted numbered overviews in docstrings (#1142) CI #3232: Commit db27c73 pushed by tcoratger
4h 48m 32s main
main
4h 48m 32s
refactor(crypto): give vague locals descriptive names (#1124) CI #3231: Commit f5ba905 pushed by tcoratger
4h 40m 37s main
main
4h 40m 37s
docs(aggregation): drop section-banner headings from docstrings (#1126) CI #3230: Commit ca26657 pushed by tcoratger
4h 34m 33s main
main
4h 34m 33s
refactor(xmss): rename vague 'parts' locals to descriptive names (#1127) CI #3229: Commit 0ed9101 pushed by tcoratger
4h 23m 23s main
main
4h 23m 23s
docs(koalabear): correct the Fp constructor range docstring (#1119) CI #3228: Commit 8d2c7e7 pushed by tcoratger
3h 41m 33s main
main
3h 41m 33s
docs(fork-choice): clarify equal-slot tie resolution wording CI #3227: Pull request #1143 opened by tcoratger
4h 8m 53s tcoratger:audit-forks/doc-equal-slot-tiebreak
tcoratger:audit-forks/doc-equal-slot-tiebreak
4h 8m 53s
docs(lstar): tidy docstring summaries in slot, checkpoint, state CI #3226: Pull request #1145 opened by tcoratger
3h 34m 55s tcoratger:audit-forks/doc-summary-polish
tcoratger:audit-forks/doc-summary-polish
3h 34m 55s
docs(state-transition): state the justifiable-distance rule inline CI #3225: Pull request #1144 opened by tcoratger
4h 13m 44s tcoratger:audit-forks/doc-justifiable-inline
tcoratger:audit-forks/doc-justifiable-inline
4h 13m 44s
docs(fork-choice): trim drifted numbered overviews in docstrings CI #3224: Pull request #1142 opened by tcoratger
3h 14m 12s tcoratger:audit-forks/doc-trim-numbered-overviews
tcoratger:audit-forks/doc-trim-numbered-overviews
3h 14m 12s
refactor(lstar): drop Any leakage from genesis/store creation CI #3223: Pull request #1141 opened by tcoratger
3h 3m 3s tcoratger:audit-forks/typing-genesis-validators
tcoratger:audit-forks/typing-genesis-validators
3h 3m 3s
style(slot): use future annotations and unquote self-references CI #3222: Pull request #1140 opened by tcoratger
3h 6m 54s tcoratger:audit-forks/slot-future-annotations
tcoratger:audit-forks/slot-future-annotations
3h 6m 54s
refactor(aggregation): spell out LOG_INVERSE_RATE CI #3221: Pull request #1138 opened by tcoratger
3h 55m 44s tcoratger:audit-forks/log-inverse-rate
tcoratger:audit-forks/log-inverse-rate
3h 55m 44s
refactor(fork-choice): single weight-computation entry point CI #3220: Pull request #1139 opened by tcoratger
2h 52m 54s tcoratger:audit-forks/weight-pipeline-dedup
tcoratger:audit-forks/weight-pipeline-dedup
2h 52m 54s
refactor(fork-choice): enumerate payload key union without copying values CI #3219: Pull request #1137 opened by tcoratger
3h 53m 29s tcoratger:audit-forks/keys-union-merge
tcoratger:audit-forks/keys-union-merge
3h 53m 29s
feat(api): restore /lean/v0/blocks/finalized for checkpoint-sync anchor block CI #3218: Pull request #974 synchronize by MegaRedHand
3h 38m 56s MegaRedHand:restore-blocks-finalized-endpoint
MegaRedHand:restore-blocks-finalized-endpoint
3h 38m 56s
refactor(fork-choice): make internal attestation-extraction helper private CI #3217: Pull request #1136 opened by tcoratger
3h 26m 51s tcoratger:audit-forks/private-extract-attestations
tcoratger:audit-forks/private-extract-attestations
3h 26m 51s
refactor(block-production): rename phase-2 locals in build_block CI #3216: Pull request #1135 opened by tcoratger
3h 5m 58s tcoratger:audit-forks/build-block-rename-phase2
tcoratger:audit-forks/build-block-rename-phase2
3h 5m 58s
refactor(fork-choice): make min_score an explicit optional threshold CI #3215: Pull request #1134 opened by tcoratger
2h 3m 59s tcoratger:audit-forks/min-score-optional
tcoratger:audit-forks/min-score-optional
2h 3m 59s
refactor(timeline): name the within-slot interval and drop redundant wrap CI #3214: Pull request #1133 opened by tcoratger
3h 22m 24s tcoratger:audit-forks/timeline-interval-within-slot
tcoratger:audit-forks/timeline-interval-within-slot
3h 22m 24s