Skip to content
Formatting

Merge pull request #718 from morpho-org/certora/cache-stay-healthy #1578

Sign in to view logs

Merge pull request #718 from morpho-org/certora/cache-stay-healthy

Merge pull request #718 from morpho-org/certora/cache-stay-healthy #1578

Triggered via push February 3, 2025 09:56
@MathisGDMathisGD
pushed eb65770
main
Status Success
Total duration 43s
Artifacts –

formatting.yml

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