Skip to content

Actions: Certora/Quorum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename commands CI #318: Pull request #66 opened by nivcertora
January 7, 2025 12:36 5m 9s niv/CERT-7965-Rename
niv/CERT-7965-Rename
January 7, 2025 12:36 5m 9s
CI CI #317: submitted by nivcertora
January 7, 2025 11:21 4m 53s
January 7, 2025 11:21 4m 53s
Formating prints according to CERT-7899 CI #316: Pull request #61 synchronize by nivcertora
January 7, 2025 11:20 5m 1s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 7, 2025 11:20 5m 1s
Formating prints according to CERT-7899 CI #315: Pull request #61 synchronize by nivcertora
January 7, 2025 11:17 2m 11s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 7, 2025 11:17 2m 11s
Formating prints according to CERT-7899 CI #314: Pull request #61 synchronize by liav-certora
January 7, 2025 10:01 4m 55s liav/cert-7899-update-output-format
liav/cert-7899-update-output-format
January 7, 2025 10:01 4m 55s
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