Skip to content

Actions: morpho-org/pre-liquidation

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove last solc_optimize_map Certora #201: Pull request #90 opened by QGarchery
November 14, 2024 13:54 7m 54s certora/solc-optimize
certora/solc-optimize
November 14, 2024 13:54 7m 54s
Merge pull request #89 from morpho-org/colin@verif/safe-math Certora #200: Commit 81aa67d pushed by MathisGD
November 13, 2024 16:56 7m 33s main
main
November 13, 2024 16:56 7m 33s
[Certora] Verif math is safe Certora #199: Pull request #89 synchronize by colin-morpho
November 13, 2024 16:01 6m 19s colin@verif/safe-math
colin@verif/safe-math
November 13, 2024 16:01 6m 19s
[Certora] Verif math is safe Certora #198: Pull request #89 synchronize by colin-morpho
November 13, 2024 15:02 6m 56s colin@verif/safe-math
colin@verif/safe-math
November 13, 2024 15:02 6m 56s
[Certora] Verif math is safe Certora #197: Pull request #89 synchronize by colin-morpho
November 13, 2024 14:08 7m 33s colin@verif/safe-math
colin@verif/safe-math
November 13, 2024 14:08 7m 33s
[Certora] Verif math is safe Certora #196: Pull request #89 synchronize by colin-morpho
November 12, 2024 13:23 6m 52s colin@verif/safe-math
colin@verif/safe-math
November 12, 2024 13:23 6m 52s
[Certora] Verif math is safe Certora #195: Pull request #89 synchronize by colin-morpho
November 4, 2024 19:38 8m 2s colin@verif/safe-math
colin@verif/safe-math
November 4, 2024 19:38 8m 2s
[Certora] Verif math is safe Certora #194: Pull request #89 synchronize by colin-morpho
November 4, 2024 19:37 8m 3s colin@verif/safe-math
colin@verif/safe-math
November 4, 2024 19:37 8m 3s
[Certora] Verif math is safe Certora #193: Pull request #89 synchronize by colin-morpho
November 4, 2024 16:33 3m 49s colin@verif/safe-math
colin@verif/safe-math
November 4, 2024 16:33 3m 49s
[Certora] Verif math is safe Certora #192: Pull request #89 opened by colin-morpho
November 4, 2024 16:27 9m 16s colin@verif/safe-math
colin@verif/safe-math
November 4, 2024 16:27 9m 16s
Merge pull request #88 from morpho-org/doc/cantina_report Certora #191: Commit bd8889e pushed by peyha
November 4, 2024 10:36 7m 13s main
main
November 4, 2024 10:36 7m 13s
audit reports Certora #190: Pull request #88 synchronize by peyha
November 4, 2024 10:19 8m 11s doc/cantina_report
doc/cantina_report
November 4, 2024 10:19 8m 11s
audit reports Certora #189: Pull request #88 synchronize by peyha
November 4, 2024 09:00 45m 44s doc/cantina_report
doc/cantina_report
November 4, 2024 09:00 45m 44s
audit reports Certora #188: Pull request #88 opened by peyha
October 31, 2024 15:34 1h 48m 56s doc/cantina_report
doc/cantina_report
October 31, 2024 15:34 1h 48m 56s
Merge pull request #85 from morpho-org/fix/cantina Certora #187: Commit 3d5a1be pushed by MathisGD
October 31, 2024 15:07 1h 10m 48s main
main
October 31, 2024 15:07 1h 10m 48s
Merge pull request #37 from morpho-org/colin@verif/expected-reverts Certora #186: Commit 758138b pushed by MathisGD
October 28, 2024 16:00 1h 19m 24s main
main
October 28, 2024 16:00 1h 19m 24s
[Certora] Verif expected reverts Certora #185: Pull request #37 synchronize by colin-morpho
October 28, 2024 15:42 38m 27s colin@verif/expected-reverts
colin@verif/expected-reverts
October 28, 2024 15:42 38m 27s
[Certora] Verif expected reverts Certora #184: Pull request #37 synchronize by colin-morpho
October 28, 2024 15:27 53m 54s colin@verif/expected-reverts
colin@verif/expected-reverts
October 28, 2024 15:27 53m 54s
[Certora] Verif expected reverts Certora #183: Pull request #37 synchronize by colin-morpho
October 28, 2024 15:12 7m 21s colin@verif/expected-reverts
colin@verif/expected-reverts
October 28, 2024 15:12 7m 21s
Refactor create2 Certora #182: Pull request #87 synchronize by QGarchery
October 28, 2024 14:20 7m 35s refactor/create2
refactor/create2
October 28, 2024 14:20 7m 35s
Refactor create2 Certora #181: Pull request #87 synchronize by QGarchery
October 28, 2024 14:19 7m 36s refactor/create2
refactor/create2
October 28, 2024 14:19 7m 36s
Refactor create2 Certora #180: Pull request #87 opened by QGarchery
October 28, 2024 14:18 8m 24s refactor/create2
refactor/create2
October 28, 2024 14:18 8m 24s
[Certora] Verif expected reverts Certora #179: Pull request #37 synchronize by colin-morpho
October 28, 2024 07:07 43m 8s colin@verif/expected-reverts
colin@verif/expected-reverts
October 28, 2024 07:07 43m 8s
[Certora] Verif expected reverts Certora #178: Pull request #37 synchronize by colin-morpho
October 27, 2024 23:54 56m 56s colin@verif/expected-reverts
colin@verif/expected-reverts
October 27, 2024 23:54 56m 56s
[Certora] Verif expected reverts Certora #177: Pull request #37 synchronize by colin-morpho
October 25, 2024 13:58 36m 1s colin@verif/expected-reverts
colin@verif/expected-reverts
October 25, 2024 13:58 36m 1s