Skip to content

Actions: morpho-org/morpho-blue

Actions

Halmos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
halmos.yml
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #713 from morpho-org/docs/improve-liveness-docs Halmos #143: Commit dff2ecd pushed by MathisGD
January 11, 2025 17:12 8m 24s main
main
January 11, 2025 17:12 8m 24s
chore: remove bytecode hash from compilation Halmos #142: Pull request #714 synchronize by MathisGD
January 10, 2025 17:08 7m 13s chore/bytecode-hash
chore/bytecode-hash
January 10, 2025 17:08 7m 13s
chore: remove bytecode hash from compilation Halmos #141: Pull request #714 opened by MathisGD
January 10, 2025 15:39 8m 42s chore/bytecode-hash
chore/bytecode-hash
January 10, 2025 15:39 8m 42s
docs: improve wording of assumptions for liveness Halmos #140: Pull request #713 synchronize by MathisGD
January 10, 2025 15:27 8m 1s docs/improve-liveness-docs
docs/improve-liveness-docs
January 10, 2025 15:27 8m 1s
docs: improve wording of assumptions for liveness Halmos #139: Pull request #713 opened by MathisGD
January 10, 2025 15:15 7m 48s docs/improve-liveness-docs
docs/improve-liveness-docs
January 10, 2025 15:15 7m 48s
Merge pull request #712 from morpho-org/certora/flashloan-input-valid… Halmos #138: Commit ddd7a8c pushed by MathisGD
January 10, 2025 14:51 8m 14s main
main
January 10, 2025 14:51 8m 14s
Add flashLoan input validation Halmos #137: Pull request #712 opened by QGarchery
January 10, 2025 11:02 7m 41s certora/flashloan-input-validation
certora/flashloan-input-validation
January 10, 2025 11:02 7m 41s
[Certora] liquidate buffer view Halmos #136: Pull request #710 opened by QGarchery
December 12, 2024 14:45 7m 51s certora/liquidate-buffer
certora/liquidate-buffer
December 12, 2024 14:45 7m 51s
[Certora] Liquidate buffer, with executable code Halmos #135: Pull request #708 synchronize by QGarchery
December 12, 2024 14:44 8m 13s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
December 12, 2024 14:44 8m 13s
[Certora] Liquidate buffer, with executable code Halmos #134: Pull request #708 synchronize by QGarchery
December 11, 2024 16:53 9m 21s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
December 11, 2024 16:53 9m 21s
Merge pull request #709 from Bilogweb3/main Halmos #133: Commit 4844569 pushed by MathisGD
December 11, 2024 16:35 8m 18s main
main
December 11, 2024 16:35 8m 18s
chore: correct typos docs Halmos #132: Pull request #709 opened by Bilogweb3
December 11, 2024 12:05 7m 17s Bilogweb3:main
Bilogweb3:main
December 11, 2024 12:05 7m 17s
[Certora] Liquidate buffer, with executable code Halmos #131: Pull request #708 synchronize by QGarchery
December 11, 2024 11:16 7m 30s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
December 11, 2024 11:16 7m 30s
[Certora] Liquidate buffer, with executable code Halmos #130: Pull request #708 synchronize by QGarchery
December 10, 2024 11:30 7m 37s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
December 10, 2024 11:30 7m 37s
[Certora] Liquidate buffer, with executable code Halmos #129: Pull request #708 opened by QGarchery
December 9, 2024 15:08 8m 26s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
December 9, 2024 15:08 8m 26s
Merge pull request #707 from morpho-org/fix/license-warning Halmos #128: Commit a4210e9 pushed by MathisGD
December 2, 2024 10:35 6m 58s main
main
December 2, 2024 10:35 6m 58s
Fix license warning Halmos #127: Pull request #707 opened by QGarchery
November 30, 2024 18:49 7m 27s fix/license-warning
fix/license-warning
November 30, 2024 18:49 7m 27s
[Certora] Liquidate buffer Halmos #126: Pull request #704 synchronize by QGarchery
November 30, 2024 17:06 7m 19s certora/liquidate-buffer
certora/liquidate-buffer
November 30, 2024 17:06 7m 19s
[Certora] Liquidate buffer Halmos #125: Pull request #704 synchronize by QGarchery
November 26, 2024 08:59 7m 48s certora/liquidate-buffer
certora/liquidate-buffer
November 26, 2024 08:59 7m 48s
Merge pull request #706 from morpho-org/ci/fix-invariant Halmos #124: Commit abeb928 pushed by MathisGD
November 25, 2024 13:53 7m 24s main
main
November 25, 2024 13:53 7m 24s
[Certora] Liquidate buffer Halmos #123: Pull request #704 synchronize by QGarchery
November 25, 2024 12:17 8m 10s certora/liquidate-buffer
certora/liquidate-buffer
November 25, 2024 12:17 8m 10s
Fix invariants in CI Halmos #122: Pull request #706 synchronize by QGarchery
November 25, 2024 08:28 7m 0s ci/fix-invariant
ci/fix-invariant
November 25, 2024 08:28 7m 0s
Fix invariants in CI Halmos #121: Pull request #706 synchronize by QGarchery
November 24, 2024 17:25 7m 34s ci/fix-invariant
ci/fix-invariant
November 24, 2024 17:25 7m 34s
Fix invariants in CI Halmos #120: Pull request #706 synchronize by QGarchery
November 24, 2024 16:54 8m 32s ci/fix-invariant
ci/fix-invariant
November 24, 2024 16:54 8m 32s
Fix invariants in CI Halmos #119: Pull request #706 synchronize by QGarchery
November 24, 2024 15:40 6m 59s ci/fix-invariant
ci/fix-invariant
November 24, 2024 15:40 6m 59s