Skip to content

Actions: morpho-org/morpho-blue

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
601 workflow runs
601 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update audit Certora #579: Pull request #694 synchronize by MathisGD
September 29, 2024 17:29 11m 51s chore/audits
chore/audits
September 29, 2024 17:29 11m 51s
Tests: fix CI with precise computations Certora #578: Pull request #695 opened by QGarchery
September 29, 2024 14:06 13m 35s test/fix-precision-ci
test/fix-precision-ci
September 29, 2024 14:06 13m 35s
update audit Certora #577: Pull request #694 opened by MathisGD
September 27, 2024 22:40 12m 1s chore/audits
chore/audits
September 27, 2024 22:40 12m 1s
Merge pull request #692 from daejunpark/halmos/update-v2 Certora #576: Commit dee266f pushed by MathisGD
September 27, 2024 21:43 14m 39s main
main
September 27, 2024 21:43 14m 39s
test: update halmos tests for new version Certora #575: Pull request #692 synchronize by daejunpark
September 27, 2024 20:03 38s daejunpark:halmos/update-v2
daejunpark:halmos/update-v2
September 27, 2024 20:03 38s
[Certora] Stay healthy liquidate Certora #574: Pull request #684 synchronize by QGarchery
September 27, 2024 16:06 12m 49s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 27, 2024 16:06 12m 49s
Merge pull request #693 from morpho-org/certora/update-verif Certora #573: Commit 4a8ccc8 pushed by MathisGD
September 27, 2024 15:22 14m 16s main
main
September 27, 2024 15:22 14m 16s
[Certora] New syntax for enabling bitvector theory Certora #572: Pull request #693 opened by QGarchery
September 27, 2024 09:08 14m 8s certora/update-verif
certora/update-verif
September 27, 2024 09:08 14m 8s
test: update halmos tests for new version Certora #571: Pull request #692 synchronize by daejunpark
September 27, 2024 04:04 33s daejunpark:halmos/update-v2
daejunpark:halmos/update-v2
September 27, 2024 04:04 33s
[Certora] Stay healthy liquidate Certora #569: Pull request #684 synchronize by QGarchery
September 26, 2024 16:06 14m 7s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 26, 2024 16:06 14m 7s
Update formal verification Certora #568: Pull request #691 opened by QGarchery
September 26, 2024 15:47 7m 56s verif/update-verification
verif/update-verification
September 26, 2024 15:47 7m 56s
[Certora] Stay healthy liquidate Certora #567: Pull request #684 synchronize by QGarchery
September 26, 2024 15:22 17m 48s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 26, 2024 15:22 17m 48s
Merge pull request #689 from morpho-org/certora/improve-assets-accoun… Certora #566: Commit 0448402 pushed by MerlinEgalite
September 1, 2024 12:31 14m 39s main
main
September 1, 2024 12:31 14m 39s
[Certora] Stay healthy liquidate Certora #565: Pull request #684 synchronize by QGarchery
August 28, 2024 15:48 22m 13s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 28, 2024 15:48 22m 13s
[Certora] Stay healthy liquidate Certora #564: Pull request #684 synchronize by QGarchery
August 28, 2024 15:32 11m 16s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 28, 2024 15:32 11m 16s
Merge pull request #688 from morpho-org/docs/fix-repay-typo Certora #562: Commit 8e35224 pushed by MerlinEgalite
August 14, 2024 15:11 15m 29s main
main
August 14, 2024 15:11 15m 29s
[Certora] Improve assets accounting specification Certora #561: Pull request #689 opened by QGarchery
August 14, 2024 13:35 15m 53s certora/improve-assets-accounting
certora/improve-assets-accounting
August 14, 2024 13:35 15m 53s
[Certora] Stay healthy liquidate Certora #560: Pull request #684 synchronize by QGarchery
August 14, 2024 11:11 26m 51s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 14, 2024 11:11 26m 51s
docs: fix typo Certora #559: Pull request #688 opened by MerlinEgalite
August 14, 2024 09:11 22m 20s docs/fix-repay-typo
docs/fix-repay-typo
August 14, 2024 09:11 22m 20s
Merge pull request #686 from omahs/patch-1 Certora #557: Commit 3f01808 pushed by MathisGD
July 10, 2024 15:22 3m 59s main
main
July 10, 2024 15:22 3m 59s
fix: typos Certora #556: Pull request #686 opened by omahs
July 10, 2024 07:16 37s omahs:patch-1
omahs:patch-1
July 10, 2024 07:16 37s
Merge pull request #685 from morpho-org/dependabot/npm_and_yarn/brace… Certora #555: Commit 4055d2a pushed by MathisGD
July 9, 2024 16:20 30m 37s main
main
July 9, 2024 16:20 30m 37s
chore(deps): bump braces from 3.0.2 to 3.0.3 Certora #554: Pull request #685 opened by dependabot bot
July 5, 2024 11:50 33s dependabot/npm_and_yarn/braces-3.0.3
dependabot/npm_and_yarn/braces-3.0.3
July 5, 2024 11:50 33s
[Certora] Stay healthy liquidate Certora #553: Pull request #684 synchronize by QGarchery
July 5, 2024 09:36 11m 23s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
July 5, 2024 09:36 11m 23s
[Certora] Stay healthy liquidate Certora #552: Pull request #684 opened by QGarchery
July 5, 2024 08:54 13m 28s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
July 5, 2024 08:54 13m 28s