Skip to content

Actions: Certora/Quorum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
501 workflow runs
501 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace package manager + add dev env CI #264: Pull request #64 synchronize by nivcertora
January 5, 2025 14:09 1m 40s niv/CERT-7934-Make-Dev-ENV
niv/CERT-7934-Make-Dev-ENV
January 5, 2025 14:09 1m 40s
Replace package manager + add dev env CI #263: Pull request #64 synchronize by nivcertora
January 5, 2025 13:38 1m 30s niv/CERT-7934-Make-Dev-ENV
niv/CERT-7934-Make-Dev-ENV
January 5, 2025 13:38 1m 30s
Replace package manager + add dev env CI #262: Pull request #64 synchronize by nivcertora
January 5, 2025 13:33 1s niv/CERT-7934-Make-Dev-ENV
niv/CERT-7934-Make-Dev-ENV
January 5, 2025 13:33 1s
Replace package manager + add dev env CI #261: Pull request #64 synchronize by nivcertora
January 5, 2025 13:06 1s niv/CERT-7934-Make-Dev-ENV
niv/CERT-7934-Make-Dev-ENV
January 5, 2025 13:06 1s
Replace package manager + add dev env CI #260: Pull request #64 opened by nivcertora
January 5, 2025 13:04 2s niv/CERT-7934-Make-Dev-ENV
niv/CERT-7934-Make-Dev-ENV
January 5, 2025 13:04 2s
Add proposal id option CI #259: Pull request #63 synchronize by nivcertora
January 5, 2025 12:08 5m 5s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 12:08 5m 5s
Add proposal id option CI #258: Pull request #63 synchronize by nivcertora
January 5, 2025 12:00 5m 1s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 12:00 5m 1s
Add proposal id option CI #257: Pull request #63 synchronize by nivcertora
January 5, 2025 10:47 4m 50s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 10:47 4m 50s
Add proposal id option CI #256: Pull request #63 synchronize by nivcertora
January 5, 2025 10:46 4m 36s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 10:46 4m 36s
Add proposal id option CI #255: Pull request #63 synchronize by nivcertora
January 5, 2025 10:46 5m 15s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 10:46 5m 15s
Add proposal id option CI #254: Pull request #63 synchronize by nivcertora
January 5, 2025 09:08 4m 23s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 09:08 4m 23s
Add proposal id option CI #253: Pull request #63 synchronize by nivcertora
January 5, 2025 09:01 4m 52s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 5, 2025 09:01 4m 52s
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