Skip to content

Actions: morpho-org/morpho-blue

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
295 workflow runs
295 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 #788 from morpho-org/claude/certora-supply-loss-bo… Foundry #2243: Commit 8e26ca6 pushed by QGarchery
9m 22s main
main
9m 22s
Merge pull request #788 from morpho-org/claude/certora-supply-loss-bo… Certora #845: Commit 8e26ca6 pushed by QGarchery
15m 52s main
main
15m 52s
[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1 Foundry #2242: Pull request #788 synchronize by QGarchery
14m 48s claude/certora-supply-loss-bound-price-below-one
claude/certora-supply-loss-bound-price-below-one
14m 48s
[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1 Certora #844: Pull request #788 synchronize by QGarchery
17m 47s claude/certora-supply-loss-bound-price-below-one
claude/certora-supply-loss-bound-price-below-one
17m 47s
Merge pull request #794 from morpho-org/claude/certora-no-fail-fast Certora #843: Commit a773e55 pushed by QGarchery
16m 57s main
main
16m 57s
Merge pull request #794 from morpho-org/claude/certora-no-fail-fast Foundry #2241: Commit a773e55 pushed by QGarchery
10m 32s main
main
10m 32s
Merge pull request #795 from morpho-org/ci/forge-build-locked Certora #842: Commit bc1bfca pushed by QGarchery
4m 55s main
main
4m 55s
Merge pull request #795 from morpho-org/ci/forge-build-locked Foundry #2240: Commit bc1bfca pushed by QGarchery
14m 43s main
main
14m 43s
[ci] check foundry.lock matches submodule pins Certora #841: Pull request #795 opened by claude Bot
17m 47s ci/forge-build-locked
ci/forge-build-locked
17m 47s
[ci] check foundry.lock matches submodule pins Foundry #2239: Pull request #795 opened by claude Bot
12m 25s ci/forge-build-locked
ci/forge-build-locked
12m 25s
[certora] don't cancel sibling specs on first failure Foundry #2238: Pull request #794 opened by claude Bot
14m 34s claude/certora-no-fail-fast
claude/certora-no-fail-fast
14m 34s
[certora] don't cancel sibling specs on first failure Certora #840: Pull request #794 opened by claude Bot
17m 32s claude/certora-no-fail-fast
claude/certora-no-fail-fast
17m 32s
Certora Certora #839: Manually run by claude Bot
2m 39s main
main
2m 39s
Foundry Foundry #2237: Manually run by claude Bot
16m 8s main
main
16m 8s
Merge pull request #793 from morpho-org/claude/forge-1-8-fmt Foundry #2236: Commit c3f327e pushed by MathisGD
9m 10s main
main
9m 10s
Merge pull request #793 from morpho-org/claude/forge-1-8-fmt Certora #838: Commit c3f327e pushed by MathisGD
6m 40s main
main
6m 40s
[ci] apply forge 1.8 formatting Foundry #2235: Pull request #793 opened by claude Bot
14m 54s claude/forge-1-8-fmt
claude/forge-1-8-fmt
14m 54s
[ci] apply forge 1.8 formatting Certora #837: Pull request #793 opened by claude Bot
7m 49s claude/forge-1-8-fmt
claude/forge-1-8-fmt
7m 49s
Certora Certora #836: Manually run by claude Bot
17m 5s main
main
17m 5s
Foundry Foundry #2234: Manually run by claude Bot
12m 6s main
main
12m 6s
Foundry Foundry #2233: Manually run by claude Bot
12m 15s main
main
12m 15s
Certora Certora #835: Manually run by claude Bot
17m 7s main
main
17m 7s
Foundry Foundry #2232: Manually run by claude Bot
13m 30s main
main
13m 30s
Certora Certora #834: Manually run by claude Bot
4m 6s main
main
4m 6s
Merge pull request #791 from morpho-org/hermes/pin-foundry-toolchain-… Foundry #2231: Commit 4418b82 pushed by MathisGD
12m 57s main
main
12m 57s