Skip to content

Actions: Certora/M0-Protocol

Actions

Forge Fuzz Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-fuzz.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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
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 Fuzz Tests #6: Pull request #1 synchronize by hristo-grigorov
April 18, 2024 12:49 1m 51s certora
certora
April 18, 2024 12:49 1m 51s
DO NOT MERGE - CI TEST Forge Fuzz Tests #5: Pull request #1 synchronize by Roy-Certora
April 3, 2024 07:13 2m 1s certora
certora
April 3, 2024 07:13 2m 1s
DO NOT MERGE - CI TEST Forge Fuzz Tests #4: Pull request #1 synchronize by Roy-Certora
April 3, 2024 07:11 1m 54s certora
certora
April 3, 2024 07:11 1m 54s
Sync with upstream Forge Fuzz Tests #3: Pull request #2 opened by Roy-Certora
April 3, 2024 07:11 2m 6s m0-foundation:main
m0-foundation:main
April 3, 2024 07:11 2m 6s
DO NOT MERGE - CI TEST Forge Fuzz Tests #2: Pull request #1 synchronize by hristo-grigorov
March 27, 2024 13:29 2m 15s certora
certora
March 27, 2024 13:29 2m 15s
DO NOT MERGE - CI TEST Forge Fuzz Tests #1: Pull request #1 opened by hristo-grigorov
March 27, 2024 12:22 2m 9s certora
certora
March 27, 2024 12:22 2m 9s