Skip to content

Actions: morpho-org/morpho-blue

Actions

Halmos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
halmos.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #692 from daejunpark/halmos/update-v2 Halmos #75: Commit dee266f pushed by MathisGD
September 27, 2024 21:43 10m 47s main
main
September 27, 2024 21:43 10m 47s
test: update halmos tests for new version Halmos #74: Pull request #692 synchronize by daejunpark
September 27, 2024 20:03 10m 13s daejunpark:halmos/update-v2
daejunpark:halmos/update-v2
September 27, 2024 20:03 10m 13s
[Certora] Stay healthy liquidate Halmos #73: Pull request #684 synchronize by QGarchery
September 27, 2024 16:06 37s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 27, 2024 16:06 37s
Merge pull request #693 from morpho-org/certora/update-verif Halmos #72: Commit 4a8ccc8 pushed by MathisGD
September 27, 2024 15:22 43s main
main
September 27, 2024 15:22 43s
[Certora] New syntax for enabling bitvector theory Halmos #71: Pull request #693 opened by QGarchery
September 27, 2024 09:08 41s certora/update-verif
certora/update-verif
September 27, 2024 09:08 41s
test: update halmos tests for new version Halmos #70: Pull request #692 synchronize by daejunpark
September 27, 2024 04:04 10m 30s daejunpark:halmos/update-v2
daejunpark:halmos/update-v2
September 27, 2024 04:04 10m 30s
[Certora] Stay healthy liquidate Halmos #68: Pull request #684 synchronize by QGarchery
September 26, 2024 16:06 45s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 26, 2024 16:06 45s
Update formal verification Halmos #67: Pull request #691 opened by QGarchery
September 26, 2024 15:47 1h 53m 46s verif/update-verification
verif/update-verification
September 26, 2024 15:47 1h 53m 46s
[Certora] Stay healthy liquidate Halmos #66: Pull request #684 synchronize by QGarchery
September 26, 2024 15:22 40s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
September 26, 2024 15:22 40s
Merge pull request #689 from morpho-org/certora/improve-assets-accoun… Halmos #65: Commit 0448402 pushed by MerlinEgalite
September 1, 2024 12:31 4m 53s main
main
September 1, 2024 12:31 4m 53s
[Certora] Stay healthy liquidate Halmos #64: Pull request #684 synchronize by QGarchery
August 28, 2024 15:48 5m 9s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 28, 2024 15:48 5m 9s
[Certora] Stay healthy liquidate Halmos #63: Pull request #684 synchronize by QGarchery
August 28, 2024 15:32 4m 56s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 28, 2024 15:32 4m 56s
Merge pull request #688 from morpho-org/docs/fix-repay-typo Halmos #61: Commit 8e35224 pushed by MerlinEgalite
August 14, 2024 15:11 5m 4s main
main
August 14, 2024 15:11 5m 4s
[Certora] Improve assets accounting specification Halmos #60: Pull request #689 opened by QGarchery
August 14, 2024 13:35 5m 3s certora/improve-assets-accounting
certora/improve-assets-accounting
August 14, 2024 13:35 5m 3s
[Certora] Stay healthy liquidate Halmos #59: Pull request #684 synchronize by QGarchery
August 14, 2024 11:11 4m 58s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
August 14, 2024 11:11 4m 58s
docs: fix typo Halmos #58: Pull request #688 opened by MerlinEgalite
August 14, 2024 09:11 5m 8s docs/fix-repay-typo
docs/fix-repay-typo
August 14, 2024 09:11 5m 8s
Merge pull request #686 from omahs/patch-1 Halmos #56: Commit 3f01808 pushed by MathisGD
July 10, 2024 15:22 33m 39s main
main
July 10, 2024 15:22 33m 39s
fix: typos Halmos #55: Pull request #686 opened by omahs
July 10, 2024 07:16 34m 4s omahs:patch-1
omahs:patch-1
July 10, 2024 07:16 34m 4s
Merge pull request #685 from morpho-org/dependabot/npm_and_yarn/brace… Halmos #54: Commit 4055d2a pushed by MathisGD
July 9, 2024 16:20 33m 29s main
main
July 9, 2024 16:20 33m 29s
chore(deps): bump braces from 3.0.2 to 3.0.3 Halmos #53: Pull request #685 opened by dependabot bot
July 5, 2024 11:50 33m 27s dependabot/npm_and_yarn/braces-3.0.3
dependabot/npm_and_yarn/braces-3.0.3
July 5, 2024 11:50 33m 27s
[Certora] Stay healthy liquidate Halmos #52: Pull request #684 synchronize by QGarchery
July 5, 2024 09:36 33m 32s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
July 5, 2024 09:36 33m 32s
[Certora] Stay healthy liquidate Halmos #51: Pull request #684 opened by QGarchery
July 5, 2024 08:54 30m 56s certora/stay-healthy-liquidate
certora/stay-healthy-liquidate
July 5, 2024 08:54 30m 56s
Merge pull request #679 from morpho-org/certora/ratio-timeouts Halmos #50: Commit 0338cc1 pushed by QGarchery
July 5, 2024 08:38 33m 29s main
main
July 5, 2024 08:38 33m 29s
[Certora] Last timeouts Halmos #49: Pull request #679 synchronize by QGarchery
July 1, 2024 13:42 33m 47s certora/ratio-timeouts
certora/ratio-timeouts
July 1, 2024 13:42 33m 47s
Merge pull request #683 from morpho-org/test/dealt-amount-liquidate Halmos #48: Commit 7298a03 pushed by QGarchery
June 27, 2024 07:11 33m 51s main
main
June 27, 2024 07:11 33m 51s