Skip to content

Actions: Certora/certora-vault-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora GitHub Action Certora Tests #1: Pull request #36 opened by H00N24
44s feat/certora-run-action
feat/certora-run-action
44s
Certora GitHub Action Style Checks #102: Pull request #36 opened by H00N24
1m 11s feat/certora-run-action
feat/certora-run-action
1m 11s
chore: disable slash_no_dilution in integrity Style Checks #101: Commit bff7e71 pushed by 1arie1
1m 28s main
main
1m 28s
chore: disable slash_no_dilution in integrity Build and Publish Docker image #50: Commit bff7e71 pushed by 1arie1
10m 14s main
main
10m 14s
Added CI Build and Publish Docker image #49: Commit 19d962e pushed by caballa
8m 25s main
main
8m 25s
Added CI Style Checks #100: Commit 19d962e pushed by caballa
1m 28s main
main
1m 28s
Added CI Style Checks #99: Pull request #35 synchronize by caballa
1m 38s ci
ci
1m 38s
Added CI Style Checks #98: Pull request #35 synchronize by caballa
1m 22s ci
ci
1m 22s
Added CI Style Checks #97: Pull request #35 opened by caballa
1m 23s ci
ci
1m 23s
Update README.md Style Checks #96: Commit 970bc7b pushed by caballa
1m 21s main
main
1m 21s
Update README.md Build and Publish Docker image #48: Commit 970bc7b pushed by caballa
7m 51s main
main
7m 51s
Update README.md Style Checks #95: Pull request #34 opened by caballa
1m 23s caballa-patch-1
caballa-patch-1
1m 23s
specs: remove prover_version from conf files Build and Publish Docker image #47: Commit 8576930 pushed by caballa
8m 16s main
main
8m 16s
specs: remove prover_version from conf files Style Checks #94: Commit 8576930 pushed by caballa
1m 28s main
main
1m 28s
specs: solvency rules for exact+fee deposit variants Style Checks #93: Commit 3ce8f13 pushed by caballa
1m 34s main
main
1m 34s
specs: solvency rules for exact+fee deposit variants Build and Publish Docker image #46: Commit 3ce8f13 pushed by caballa
8m 44s main
main
8m 44s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #92: Pull request #32 synchronize by caballa
1m 34s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 34s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #91: Pull request #32 synchronize by caballa
1m 35s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 35s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #90: Pull request #32 synchronize by caballa
1m 35s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 35s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #89: Pull request #32 synchronize by caballa
1m 32s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 32s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #88: Pull request #32 synchronize by caballa
1m 31s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 31s
specs: added inflation.conf Style Checks #87: Commit d41534a pushed by caballa
1m 51s main
main
1m 51s
specs: added inflation.conf Build and Publish Docker image #45: Commit d41534a pushed by caballa
8m 22s main
main
8m 22s
specs: added inflation.conf Style Checks #86: Pull request #33 opened by caballa
1m 27s jorge/conf
jorge/conf
1m 27s
specs: deposit exact+fee rules for solvency/no dilution Style Checks #85: Pull request #32 synchronize by caballa
1m 28s jorge/base-processor-for-exact
jorge/base-processor-for-exact
1m 28s