Skip to content

Actions: Certora/Quorum

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #170: submitted by liav-certora
January 1, 2025 22:48 2s
January 1, 2025 22:48 2s
Update the auto report template based on CERT-7834 CI #169: Pull request #62 opened by liav-certora
January 1, 2025 22:04 4m 18s liav/cert-7834-update-template
liav/cert-7834-update-template
January 1, 2025 22:04 4m 18s
Formating prints according to CERT-7899 CI #168: Pull request #61 synchronize by liav-certora
January 1, 2025 16:36 3m 51s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 1, 2025 16:36 3m 51s
Formating prints according to CERT-7899 CI #167: Pull request #61 synchronize by liav-certora
January 1, 2025 16:23 1m 49s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 1, 2025 16:23 1m 49s
Formating prints according to CERT-7899 CI #166: Pull request #61 synchronize by liav-certora
January 1, 2025 16:18 1m 53s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 1, 2025 16:18 1m 53s
Formating prints according to CERT-7899 CI #165: Pull request #61 opened by liav-certora
January 1, 2025 16:16 1m 46s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 1, 2025 16:16 1m 46s
LLM tests + structure outputs CI #164: Pull request #60 synchronize by nivcertora
January 1, 2025 15:36 1m 46s 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 1, 2025 15:36 1m 46s
Add setup for the tool usage CI #163: Pull request #59 synchronize by nivcertora
January 1, 2025 15:24 3m 59s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 15:24 3m 59s
CI CI #162: submitted by yoav-el-certora
January 1, 2025 15:23 2s
January 1, 2025 15:23 2s
LLM tests + structure outputs CI #161: Pull request #60 opened by nivcertora
January 1, 2025 13:59 3m 38s 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 1, 2025 13:59 3m 38s
Add setup for the tool usage CI #160: Pull request #59 synchronize by nivcertora
January 1, 2025 13:20 4m 12s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:20 4m 12s
Add setup for the tool usage CI #159: Pull request #59 synchronize by nivcertora
January 1, 2025 13:19 4m 5s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:19 4m 5s
CI CI #158: submitted by nivcertora
January 1, 2025 13:18 2s
January 1, 2025 13:18 2s
Add setup for the tool usage CI #157: Pull request #59 synchronize by nivcertora
January 1, 2025 13:16 4m 0s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:16 4m 0s
Add setup for the tool usage CI #156: Pull request #59 synchronize by nivcertora
January 1, 2025 13:16 4m 3s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:16 4m 3s
Add setup for the tool usage CI #155: Pull request #59 synchronize by nivcertora
January 1, 2025 13:16 4m 6s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:16 4m 6s
Add setup for the tool usage CI #154: Pull request #59 synchronize by nivcertora
January 1, 2025 13:16 4m 28s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:16 4m 28s
CI CI #153: submitted by nivcertora
January 1, 2025 13:16 2s
January 1, 2025 13:16 2s
CI CI #152: submitted by nivcertora
January 1, 2025 13:15 2s
January 1, 2025 13:15 2s
CI CI #151: submitted by nivcertora
January 1, 2025 13:15 2s
January 1, 2025 13:15 2s
Add setup for the tool usage CI #150: Pull request #59 synchronize by nivcertora
January 1, 2025 13:15 4m 9s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:15 4m 9s
Add setup for the tool usage CI #149: Pull request #59 synchronize by nivcertora
January 1, 2025 13:09 4m 20s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:09 4m 20s
Add setup for the tool usage CI #148: Pull request #59 synchronize by nivcertora
January 1, 2025 13:09 4m 8s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:09 4m 8s
Add setup for the tool usage CI #147: Pull request #59 synchronize by nivcertora
January 1, 2025 13:08 4m 15s niv/CERT-7888-Add-Setup
niv/CERT-7888-Add-Setup
January 1, 2025 13:08 4m 15s
CI CI #146: submitted by nivcertora
January 1, 2025 13:06 3s
January 1, 2025 13:06 3s