Skip to content

Actions: Certora/Quorum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
476 workflow runs
476 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formating prints according to CERT-7899 CI #313: Pull request #61 synchronize by liav-certora
January 6, 2025 22:28 3m 42s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 6, 2025 22:28 3m 42s
Formating prints according to CERT-7899 CI #312: Pull request #61 synchronize by liav-certora
January 6, 2025 22:19 1m 58s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 6, 2025 22:19 1m 58s
CI CI #311: submitted by yoav-el-certora
January 6, 2025 19:08 3s
January 6, 2025 19:08 3s
CI CI #310: submitted by liav-certora
January 6, 2025 19:04 3s
January 6, 2025 19:04 3s
CI CI #309: submitted by yoav-el-certora
January 6, 2025 18:28 4m 52s
January 6, 2025 18:28 4m 52s
CI CI #308: submitted by yoav-el-certora
January 6, 2025 18:26 3s
January 6, 2025 18:26 3s
Add proposal id option CI #307: Pull request #63 synchronize by nivcertora
January 6, 2025 17:11 5m 19s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 17:11 5m 19s
CI CI #306: submitted by nivcertora
January 6, 2025 17:09 3s
January 6, 2025 17:09 3s
CI CI #305: submitted by yoav-el-certora
January 6, 2025 16:46 3s
January 6, 2025 16:46 3s
CI CI #304: submitted by yoav-el-certora
January 6, 2025 16:36 2s
January 6, 2025 16:36 2s
CI CI #303: submitted by yoav-el-certora
January 6, 2025 16:34 3s
January 6, 2025 16:34 3s
CI CI #302: submitted by nivcertora
January 6, 2025 16:25 3s
January 6, 2025 16:25 3s
Formating prints according to CERT-7899 CI #301: Pull request #61 synchronize by liav-certora
January 6, 2025 16:21 4m 35s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 6, 2025 16:21 4m 35s
CI CI #300: submitted by liav-certora
January 6, 2025 16:17 4m 52s
January 6, 2025 16:17 4m 52s
Add proposal id option CI #299: Pull request #63 synchronize by nivcertora
January 6, 2025 15:56 4m 46s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:56 4m 46s
Add proposal id option CI #298: Pull request #63 synchronize by nivcertora
January 6, 2025 15:50 4m 48s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:50 4m 48s
Add proposal id option CI #297: Pull request #63 synchronize by nivcertora
January 6, 2025 15:28 3m 8s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:28 3m 8s
Add proposal id option CI #296: Pull request #63 synchronize by nivcertora
January 6, 2025 15:27 3m 21s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:27 3m 21s
Add proposal id option CI #295: Pull request #63 synchronize by nivcertora
January 6, 2025 15:26 3m 18s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:26 3m 18s
Add proposal id option CI #294: Pull request #63 synchronize by nivcertora
January 6, 2025 15:17 2m 10s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:17 2m 10s
Add proposal id option CI #293: Pull request #63 synchronize by nivcertora
January 6, 2025 15:13 3m 29s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:13 3m 29s
Add proposal id option CI #292: Pull request #63 synchronize by nivcertora
January 6, 2025 15:09 2m 30s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 15:09 2m 30s
CI CI #291: submitted by liav-certora
January 6, 2025 13:57 3s
January 6, 2025 13:57 3s
CI CI #290: submitted by liav-certora
January 6, 2025 13:42 3s
January 6, 2025 13:42 3s
Add proposal id option CI #289: Pull request #63 synchronize by nivcertora
January 6, 2025 13:32 5m 32s niv/CERT-7885-Add-Proposal-id-option
niv/CERT-7885-Add-Proposal-id-option
January 6, 2025 13:32 5m 32s