Skip to content

Actions: Certora/Quorum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
414 workflow runs
414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add proposal id option CI #252: Pull request #63 synchronize by nivcertora
January 2, 2025 14:47 4m 56s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 2, 2025 14:47 4m 56s
Add proposal id option CI #251: Pull request #63 synchronize by nivcertora
January 2, 2025 14:33 4m 43s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 2, 2025 14:33 4m 43s
Update the auto report template based on CERT-7834 CI #250: Pull request #62 synchronize by liav-certora
January 2, 2025 13:56 5m 17s liav/cert-7834-update-template
liav/cert-7834-update-template
January 2, 2025 13:56 5m 17s
Formating prints according to CERT-7899 CI #249: Pull request #61 synchronize by liav-certora
January 2, 2025 13:55 4m 46s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 2, 2025 13:55 4m 46s
Add proposal id option CI #248: Pull request #63 opened by nivcertora
January 2, 2025 13:54 2m 9s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 2, 2025 13:54 2m 9s
CI CI #247: submitted by liav-certora
January 2, 2025 13:17 4m 44s
January 2, 2025 13:17 4m 44s
CI CI #246: submitted by yoav-el-certora
January 2, 2025 13:06 4m 0s
January 2, 2025 13:06 4m 0s
LLM tests + structure outputs CI #245: Pull request #60 synchronize by nivcertora
January 2, 2025 12:26 6m 21s niv/CERT-7926-Make-IPFS-Produce-Stracture-Output-And-Add-Test-Cases-For-LLM
niv/CERT-7926-Make-IPFS-Produce-Stracture-Output-And-Add-Test-Cases-For-LLM
January 2, 2025 12:26 6m 21s
LLM tests + structure outputs CI #244: Pull request #60 synchronize by nivcertora
January 2, 2025 12:14 4m 39s niv/CERT-7926-Make-IPFS-Produce-Stracture-Output-And-Add-Test-Cases-For-LLM
niv/CERT-7926-Make-IPFS-Produce-Stracture-Output-And-Add-Test-Cases-For-LLM
January 2, 2025 12:14 4m 39s
CI CI #243: submitted by liav-certora
January 2, 2025 11:32 3s
January 2, 2025 11:32 3s
Formating prints according to CERT-7899 CI #242: Pull request #61 synchronize by liav-certora
January 2, 2025 11:32 4m 22s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 2, 2025 11:32 4m 22s
CI CI #241: submitted by yoav-el-certora
January 2, 2025 11:10 2s
January 2, 2025 11:10 2s
CI CI #240: submitted by nivcertora
January 2, 2025 11:04 2s
January 2, 2025 11:04 2s
CI CI #239: submitted by yoav-el-certora
January 2, 2025 11:00 2s
January 2, 2025 11:00 2s
CI CI #238: submitted by nivcertora
January 2, 2025 10:59 2s
January 2, 2025 10:59 2s
CI CI #237: submitted by yoav-el-certora
January 2, 2025 10:59 2s
January 2, 2025 10:59 2s
CI CI #236: submitted by liav-certora
January 2, 2025 10:54 2s
January 2, 2025 10:54 2s
CI CI #235: submitted by yoav-el-certora
January 2, 2025 10:53 2s
January 2, 2025 10:53 2s
CI CI #234: submitted by yoav-el-certora
January 2, 2025 10:52 3s
January 2, 2025 10:52 3s
CI CI #233: submitted by nivcertora
January 2, 2025 10:49 2s
January 2, 2025 10:49 2s
CI CI #232: submitted by yoav-el-certora
January 2, 2025 10:49 2s
January 2, 2025 10:49 2s
CI CI #231: submitted by nivcertora
January 2, 2025 10:49 2s
January 2, 2025 10:49 2s
CI CI #230: submitted by nivcertora
January 2, 2025 10:47 3s
January 2, 2025 10:47 3s
CI CI #229: submitted by yoav-el-certora
January 2, 2025 10:47 2s
January 2, 2025 10:47 2s
CI CI #228: submitted by nivcertora
January 2, 2025 10:46 2s
January 2, 2025 10:46 2s