Skip to content

Actions: Certora/cash-v3-fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding gitaatributes to highlight syntax CI #64: Commit 1eeaba6 pushed by martin-hruska
25s certora-test-rules-and-ci
certora-test-rules-and-ci
25s
Master Certora rules on master CI #63: Pull request #3 synchronize by martin-hruska
23s master-rules
master-rules
23s
Master Certora rules on master Certora Prover Workflow #31: Pull request #3 synchronize by martin-hruska
2m 58s master-rules
master-rules
2m 58s
adding gitaatributes to highlight syntax CI #62: Commit 3d438f0 pushed by martin-hruska
43s master-rules
master-rules
43s
certora rules and ci CI #61: Commit 87bafa8 pushed by martin-hruska
43s certora-test-rules-and-ci
certora-test-rules-and-ci
43s
certora rules and ci CI #60: Commit 77690c2 pushed by martin-hruska
42s certora-test-rules-and-ci
certora-test-rules-and-ci
42s
Master Certora rules on master CI #59: Pull request #3 synchronize by martin-hruska
42s master-rules
master-rules
42s
Master Certora rules on master Certora Prover Workflow #30: Pull request #3 synchronize by martin-hruska
2m 47s master-rules
master-rules
2m 47s
certora rules and ci CI #58: Commit 77690c2 pushed by martin-hruska
39s master-rules
master-rules
39s
Master Certora rules on master CI #57: Pull request #3 synchronize by martin-hruska
25s master-rules
master-rules
25s
Master Certora rules on master Certora Prover Workflow #29: Pull request #3 synchronize by martin-hruska
2m 46s master-rules
master-rules
2m 46s
certora rules and ci CI #56: Commit 54cada9 pushed by martin-hruska
28s master-rules
master-rules
28s
Master Certora rules on master Certora Prover Workflow #28: Pull request #3 synchronize by martin-hruska
3m 19s master-rules
master-rules
3m 19s
Master Certora rules on master CI #55: Pull request #3 synchronize by martin-hruska
24s master-rules
master-rules
24s
renaming solc CI #54: Commit 0726471 pushed by martin-hruska
42s master-rules
master-rules
42s
Master Certora rules on master Certora Prover Workflow #27: Pull request #3 synchronize by martin-hruska
2m 57s master-rules
master-rules
2m 57s
Master Certora rules on master CI #53: Pull request #3 synchronize by martin-hruska
29s master-rules
master-rules
29s
moving boolean attributes to conf files CI #52: Commit be5be44 pushed by martin-hruska
32s master-rules
master-rules
32s
Master Certora rules on master CI #51: Pull request #3 synchronize by martin-hruska
29s master-rules
master-rules
29s
Master Certora rules on master Certora Prover Workflow #26: Pull request #3 synchronize by martin-hruska
2m 54s master-rules
master-rules
2m 54s
remove redundant , CI #50: Commit de9b70a pushed by martin-hruska
33s master-rules
master-rules
33s
Master Certora rules on master CI #49: Pull request #3 synchronize by martin-hruska
42s master-rules
master-rules
42s
Master Certora rules on master Certora Prover Workflow #25: Pull request #3 synchronize by martin-hruska
2m 34s master-rules
master-rules
2m 34s
renaming scripts CI #48: Commit ca96c56 pushed by martin-hruska
29s master-rules
master-rules
29s
Master Certora rules on master Certora Prover Workflow #24: Pull request #3 synchronize by martin-hruska
25s master-rules
master-rules
25s