Skip to content

Actions: Certora/M0-Protocol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change name of isValidatorApprove() Forge Coverage #10: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 1m 6s main
main
April 19, 2024 09:40 1m 6s
Change name of isValidatorApprove() Forge Integration Tests #10: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 34s main
main
April 19, 2024 09:40 34s
Change name of isValidatorApprove() Forge Invariant Tests #10: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 4m 17s main
main
April 19, 2024 09:40 4m 17s
Change name of isValidatorApprove() Forge Tests Gas Report #10: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 3m 52s main
main
April 19, 2024 09:40 3m 52s
Change name of isValidatorApprove() Forge Fuzz Tests #10: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 2m 26s main
main
April 19, 2024 09:40 2m 26s
Change name of isValidatorApprove() certora-verification #9: Commit 0f30967 pushed by Roy-Certora
April 19, 2024 09:40 1m 29s main
main
April 19, 2024 09:40 1m 29s
add verification confs and update workflow Forge Fuzz Tests #9: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 2m 33s main
main
April 19, 2024 09:35 2m 33s
add verification confs and update workflow Forge Coverage #9: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 5m 36s main
main
April 19, 2024 09:35 5m 36s
add verification confs and update workflow certora-verification #8: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 7m 1s main
main
April 19, 2024 09:35 7m 1s
add verification confs and update workflow Forge Invariant Tests #9: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 4m 16s main
main
April 19, 2024 09:35 4m 16s
add verification confs and update workflow Forge Tests Gas Report #9: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 3m 53s main
main
April 19, 2024 09:35 3m 53s
add verification confs and update workflow Forge Integration Tests #9: Commit 502ad55 pushed by Roy-Certora
April 19, 2024 09:35 31s main
main
April 19, 2024 09:35 31s
Add certora rules and workflow verification step (#167) Forge Invariant Tests #8: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 4m 15s main
main
April 18, 2024 19:44 4m 15s
Add certora rules and workflow verification step (#167) Forge Tests Gas Report #8: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 3m 51s main
main
April 18, 2024 19:44 3m 51s
Add certora rules and workflow verification step (#167) Forge Fuzz Tests #8: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 2m 28s main
main
April 18, 2024 19:44 2m 28s
Add certora rules and workflow verification step (#167) Forge Coverage #8: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 5m 29s main
main
April 18, 2024 19:44 5m 29s
Add certora rules and workflow verification step (#167) certora-verification #7: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 16m 35s main
main
April 18, 2024 19:44 16m 35s
Add certora rules and workflow verification step (#167) Forge Integration Tests #8: Commit 9f2b320 pushed by hristo-grigorov
April 18, 2024 19:44 28s main
main
April 18, 2024 19:44 28s
DO NOT MERGE - CI TEST Forge Coverage #7: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 5m 8s certora
certora
April 18, 2024 19:43 5m 8s
DO NOT MERGE - CI TEST certora-verification #6: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 5m 25s certora
certora
April 18, 2024 19:43 5m 25s
DO NOT MERGE - CI TEST Forge Invariant Tests #7: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 4m 14s certora
certora
April 18, 2024 19:43 4m 14s
DO NOT MERGE - CI TEST Forge Integration Tests #7: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 31s certora
certora
April 18, 2024 19:43 31s
DO NOT MERGE - CI TEST Forge Fuzz Tests #7: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 1m 59s certora
certora
April 18, 2024 19:43 1m 59s
DO NOT MERGE - CI TEST Forge Tests Gas Report #7: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 19:43 3m 23s certora
certora
April 18, 2024 19:43 3m 23s
DO NOT MERGE - CI TEST Forge Tests Gas Report #6: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 12:49 3m 21s certora
certora
April 18, 2024 12:49 3m 21s