Skip to content
Formatting

Merge pull request #723 from morpho-org/certora/remove-gambit #1612

Sign in to view logs

Merge pull request #723 from morpho-org/certora/remove-gambit

Merge pull request #723 from morpho-org/certora/remove-gambit #1612

Triggered via push February 28, 2025 17:44
@MathisGDMathisGD
pushed 831e09a
main
Status Success
Total duration 36s
Artifacts –

formatting.yml

on: push
lint
23s
lint
Fit to window
Zoom out
Zoom in

Annotations

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