Skip to content

Actions: morpho-org/bundler3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,524 workflow runs
2,524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: fix test assumes Certora #287: Pull request #250 opened by adhusson
February 14, 2025 11:22 9m 32s test/fix-assumes
test/fix-assumes
February 14, 2025 11:22 9m 32s
[Certora] Formatting Foundry #1017: Pull request #249 synchronize by colin-morpho
February 14, 2025 10:05 1m 43s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 10:05 1m 43s
[Certora] Formatting Certora #286: Pull request #249 synchronize by colin-morpho
February 14, 2025 10:05 13m 12s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 10:05 13m 12s
[Certora] Formatting Formatting #1017: Pull request #249 synchronize by colin-morpho
February 14, 2025 10:05 35s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 10:05 35s
[Certora] Refactor Certora README Foundry #1016: Pull request #247 synchronize by colin-morpho
February 14, 2025 10:04 2m 16s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 10:04 2m 16s
[Certora] Refactor Certora README Certora #285: Pull request #247 synchronize by colin-morpho
February 14, 2025 10:04 9m 36s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 10:04 9m 36s
[Certora] Refactor Certora README Formatting #1016: Pull request #247 synchronize by colin-morpho
February 14, 2025 10:04 56s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 10:04 56s
[Certora] Refactor Certora README Certora #284: Pull request #247 synchronize by colin-morpho
February 14, 2025 09:58 13m 58s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 09:58 13m 58s
[Certora] Refactor Certora README Formatting #1015: Pull request #247 synchronize by colin-morpho
February 14, 2025 09:58 34s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 09:58 34s
[Certora] Refactor Certora README Foundry #1015: Pull request #247 synchronize by colin-morpho
February 14, 2025 09:58 2m 24s colin@verif/refactor-readme
colin@verif/refactor-readme
February 14, 2025 09:58 2m 24s
Merge pull request #245 from morpho-org/test/separate-wrapper-certora Certora #283: Commit 9ad1393 pushed by adhusson
February 14, 2025 09:48 10m 53s main
main
February 14, 2025 09:48 10m 53s
Merge pull request #245 from morpho-org/test/separate-wrapper-certora Formatting #1014: Commit 9ad1393 pushed by adhusson
February 14, 2025 09:48 34s main
main
February 14, 2025 09:48 34s
Merge pull request #245 from morpho-org/test/separate-wrapper-certora Foundry #1014: Commit 9ad1393 pushed by adhusson
February 14, 2025 09:48 2m 22s main
main
February 14, 2025 09:48 2m 22s
[Certora] Formatting Certora #282: Pull request #249 opened by colin-morpho
February 14, 2025 09:42 10m 21s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 09:42 10m 21s
[Certora] Formatting Foundry #1013: Pull request #249 opened by colin-morpho
February 14, 2025 09:42 2m 3s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 09:42 2m 3s
[Certora] Formatting Formatting #1013: Pull request #249 opened by colin-morpho
February 14, 2025 09:42 48s colin@verif/reformatting
colin@verif/reformatting
February 14, 2025 09:42 48s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Certora #281: Pull request #245 synchronize by adhusson
February 14, 2025 09:20 14m 10s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 09:20 14m 10s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Foundry #1012: Pull request #245 synchronize by adhusson
February 14, 2025 09:20 1m 42s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 09:20 1m 42s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Formatting #1012: Pull request #245 synchronize by adhusson
February 14, 2025 09:20 35s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 09:20 35s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Certora #280: Pull request #245 synchronize by QGarchery
February 14, 2025 08:59 14m 12s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 08:59 14m 12s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Formatting #1011: Pull request #245 synchronize by QGarchery
February 14, 2025 08:59 33s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 08:59 33s
verif: add ERC20WrapperBundler + fix test for foundry 1.0 Foundry #1011: Pull request #245 synchronize by QGarchery
February 14, 2025 08:59 2m 26s test/separate-wrapper-certora
test/separate-wrapper-certora
February 14, 2025 08:59 2m 26s
[Certora] Refactor Certora README Certora #279: Pull request #247 synchronize by colin-morpho
February 12, 2025 15:57 13m 1s colin@verif/refactor-readme
colin@verif/refactor-readme
February 12, 2025 15:57 13m 1s
[Certora] Refactor Certora README Foundry #1010: Pull request #247 synchronize by colin-morpho
February 12, 2025 15:57 1m 46s colin@verif/refactor-readme
colin@verif/refactor-readme
February 12, 2025 15:57 1m 46s
[Certora] Refactor Certora README Formatting #1010: Pull request #247 synchronize by colin-morpho
February 12, 2025 15:57 37s colin@verif/refactor-readme
colin@verif/refactor-readme
February 12, 2025 15:57 37s