Skip to content
Back to pull request #1143

Use Leader Election + Timed Message Channel #2031

Sign in to view logs

Use Leader Election + Timed Message Channel

Use Leader Election + Timed Message Channel #2031

Triggered via pull request August 15, 2025 14:23
@KodeyThomasKodeyThomas
synchronize #1143
kodey/add-leader-election
Status Success
Total duration 18s
Artifacts –

solidity-foundry.yml

on: pull_request
Define test matrix
6s
Define test matrix
Detect changes
6s
Detect changes
Matrix: solidity-forge-fmt
Matrix: tests
Check Foundry Format Results
3s
Check Foundry Format Results
Check Foundry Tests Results
3s
Check Foundry Tests Results
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Detect changes
Unexpected input(s) 'predicate-quantifier', valid inputs are ['token', 'working-directory', 'ref', 'base', 'filters', 'list-files', 'initial-fetch-depth']