Skip to content
Formatting

Merge pull request #722 from morpho-org/certora/simplify-summary #1613

Sign in to view logs

Merge pull request #722 from morpho-org/certora/simplify-summary

Merge pull request #722 from morpho-org/certora/simplify-summary #1613

Triggered via push March 2, 2025 22:15
@MathisGDMathisGD
pushed a23260a
main
Status Success
Total duration 33s
Artifacts –

formatting.yml

on: push
lint
21s

Annotations

1 warning
lint
Cache not found for keys: linux-foundry-chain-fork-lint-a23260ab84b58471bfc1ad0d8b90b4585341a781, linux-foundry-chain-fork-lint-, linux-foundry-chain-fork-