Skip to content

Actions: morpho-org/metamorpho

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
78 workflow runs
78 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #471 from morpho-org/ci/forge-build-locked Certora #509: Commit ded84e5 pushed by QGarchery
15m 1s main
main
15m 1s
[ci] check foundry.lock matches submodule pins Certora #508: Pull request #471 opened by claude Bot
14m 28s ci/forge-build-locked
ci/forge-build-locked
14m 28s
Certora Certora #507: Manually run by claude Bot
19m 29s main
main
19m 29s
Certora Certora #506: Manually run by claude Bot
14m 22s main
main
14m 22s
Certora Certora #505: Manually run by claude Bot
13m 30s main
main
13m 30s
Merge pull request #470 from morpho-org/certora-tweak-rountrip Certora #504: Commit 48b472b pushed by MathisGD
7m 1s main
main
7m 1s
Merge pull request #465 from morpho-org/claude/certora-erc4626-roundtrip Certora #503: Commit 3d21e66 pushed by MathisGD
9m 9s main
main
9m 9s
[Certora] tweak roundtrip Certora #502: Pull request #470 synchronize by QGarchery
12m 40s certora-tweak-rountrip
certora-tweak-rountrip
12m 40s
[Certora] tweak roundtrip Certora #501: Pull request #470 opened by QGarchery
11m 26s certora-tweak-rountrip
certora-tweak-rountrip
11m 26s
Merge pull request #469 from morpho-org/claude/ci-workflow-dispatch Certora #500: Commit a125c03 pushed by MathisGD
6m 58s main
main
6m 58s
[ci] allow manual runs of foundry and formatting Certora #499: Pull request #469 opened by claude Bot
12m 12s claude/ci-workflow-dispatch
claude/ci-workflow-dispatch
12m 12s
Certora Certora #498: Manually run by claude Bot
13m 12s main
main
13m 12s
Merge pull request #468 from morpho-org/hermes/pin-foundry-toolchain-… Certora #497: Commit 401ce13 pushed by MathisGD
15m 31s main
main
15m 31s
ci: pin foundry-toolchain to v1.9.1 Certora #496: Pull request #468 opened by prd-carapulse Bot
14m 16s hermes/pin-foundry-toolchain-908c5403-20260825
hermes/pin-foundry-toolchain-908c5403-20260825
14m 16s
Certora: verify ERC4626 round-trip properties Certora #495: Pull request #465 synchronize by MathisGD
5m 28s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
5m 28s
Certora: verify ERC4626 round-trip properties Certora #494: Pull request #465 synchronize by claude Bot
5m 41s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
5m 41s
Certora: verify ERC4626 round-trip properties Certora #493: Pull request #465 synchronize by claude Bot
13m 11s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
13m 11s
Certora: verify ERC4626 round-trip properties Certora #492: Pull request #465 synchronize by claude Bot
13m 7s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
13m 7s
Certora: verify ERC4626 round-trip properties Certora #491: Pull request #465 synchronize by MathisGD
6m 30s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
6m 30s
Certora: verify ERC4626 round-trip properties Certora #490: Pull request #465 synchronize by claude Bot
6m 21s claude/certora-erc4626-roundtrip
claude/certora-erc4626-roundtrip
6m 21s
Merge pull request #463 from morpho-org/update-comments Certora #489: Commit 58e758b pushed by QGarchery
8m 22s main
main
8m 22s
Merge pull request #464 from morpho-org/guardian-responsive Certora #488: Commit baaef8e pushed by MathisGD
9m 27s main
main
9m 27s
Merge pull request #466 from morpho-org/MathisGD-patch-1 Certora #487: Commit 57812ca pushed by MathisGD
6m 30s main
main
6m 30s
fix: document maxWithdraw edge-case Certora #486: Pull request #466 synchronize by MathisGD
10m 1s MathisGD-patch-1
MathisGD-patch-1
10m 1s
fix: document maxWithdraw edge-case Certora #485: Pull request #466 synchronize by MathisGD
13m 56s MathisGD-patch-1
MathisGD-patch-1
13m 56s