Skip to content

ABI Layer 2: prove generated max is correct-by-construction (flagsh… #108

ABI Layer 2: prove generated max is correct-by-construction (flagsh…

ABI Layer 2: prove generated max is correct-by-construction (flagsh… #108

Triggered via push June 27, 2026 19:45
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/dogfood-gate.yml#L261
You have an error in your yaml syntax on line 261