Skip to content

Actions: morpho-org/vault-v2

Actions

Foundry sizes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,835 workflow runs
1,835 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
[midnight adapter] take-less force deallocate Foundry sizes #1835: Pull request #910 synchronize by adhusson
16s takeless-force-deallocate
takeless-force-deallocate
16s
[midnight adapter] take-less force deallocate Foundry sizes #1834: Pull request #910 synchronize by adhusson
13s takeless-force-deallocate
takeless-force-deallocate
13s
[midnight adapter] take-less force deallocate Foundry sizes #1833: Pull request #910 synchronize by adhusson
17s takeless-force-deallocate
takeless-force-deallocate
17s
attempt at adding access control tests Foundry sizes #1832: Pull request #864 synchronize by bhargavbh
4m 41s halmos/access_control
halmos/access_control
4m 41s
attempt at adding access control tests Foundry sizes #1831: Pull request #864 opened by bhargavbh
5m 36s halmos/access_control
halmos/access_control
5m 36s
Show counter example in the vault adapter factory Foundry sizes #1830: Pull request #863 opened by QGarchery
4m 19s certora/vault-factory-example
certora/vault-factory-example
4m 19s
[Certora] Bound expected supply assets Foundry sizes #1829: Pull request #860 synchronize by QGarchery
4m 58s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
4m 58s
[Certora] Bound expected supply assets Foundry sizes #1828: Pull request #860 synchronize by QGarchery
5m 57s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
5m 57s
[Certora] Bound expected supply assets Foundry sizes #1827: Pull request #860 synchronize by QGarchery
4m 42s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
4m 42s
Merge pull request #773 from morpho-org/certora/revamp-sentinel-liveness Foundry sizes #1826: Commit 70bc3df pushed by QGarchery
5m 22s main
main
5m 22s
[Certora] Revamp sentinel liveness Foundry sizes #1825: Pull request #773 synchronize by QGarchery
5m 24s certora/revamp-sentinel-liveness
certora/revamp-sentinel-liveness
5m 24s
[Certora] Revamp sentinel liveness Foundry sizes #1824: Pull request #773 synchronize by QGarchery
5m 8s certora/revamp-sentinel-liveness
certora/revamp-sentinel-liveness
5m 8s
[Certora] Bound expected supply assets Foundry sizes #1823: Pull request #860 synchronize by QGarchery
5m 15s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
5m 15s
Merge pull request #853 from morpho-org/chore/lint-ci Foundry sizes #1822: Commit 002fae1 pushed by MathisGD
1m 38s main
main
1m 38s
chore: lint in ci Foundry sizes #1821: Pull request #853 synchronize by MathisGD
1m 36s chore/lint-ci
chore/lint-ci
1m 36s
[Certora] Bound expected supply assets Foundry sizes #1820: Pull request #860 synchronize by QGarchery
4m 16s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
4m 16s
[Certora] Bound expected supply assets Foundry sizes #1819: Pull request #860 opened by QGarchery
5m 30s certora/bound-expected-supply-assets
certora/bound-expected-supply-assets
5m 30s
[Certora] Remove factory verification Foundry sizes #1818: Pull request #857 synchronize by QGarchery
4m 22s certora/factory-counter-example
certora/factory-counter-example
4m 22s
[Certora] Remove factory verification Foundry sizes #1817: Pull request #857 synchronize by QGarchery
4m 46s certora/factory-counter-example
certora/factory-counter-example
4m 46s
[Certora] Use dispatcher false Foundry sizes #1816: Pull request #856 synchronize by QGarchery
5m 10s certora/safe-dispatcher-false
certora/safe-dispatcher-false
5m 10s
[Certora] Use dispatcher false Foundry sizes #1815: Pull request #856 synchronize by QGarchery
4m 48s certora/safe-dispatcher-false
certora/safe-dispatcher-false
4m 48s
[Certora] Use dispatcher false Foundry sizes #1814: Pull request #856 synchronize by QGarchery
4m 8s certora/safe-dispatcher-false
certora/safe-dispatcher-false
4m 8s
[Certora] Use dispatcher false Foundry sizes #1813: Pull request #856 synchronize by QGarchery
5m 15s certora/safe-dispatcher-false
certora/safe-dispatcher-false
5m 15s
[Certora] Use dispatcher false Foundry sizes #1812: Pull request #856 synchronize by QGarchery
4m 33s certora/safe-dispatcher-false
certora/safe-dispatcher-false
4m 33s
[Certora] Earliest time to execute Foundry sizes #1811: Pull request #835 synchronize by QGarchery
4m 25s certora/earliest-time
certora/earliest-time
4m 25s