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

CI CI #419: submitted by yoav-el-certora
January 9, 2025 14:23 2m 28s
January 9, 2025 14:23 2m 28s
Disable AI tests in CI, only test them on Release CI #418: Pull request #77 opened by nivcertora
January 9, 2025 14:18 4m 40s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:18 4m 40s
CI CI #417: submitted by yoav-el-certora
January 9, 2025 14:03 6m 5s
January 9, 2025 14:03 6m 5s
Disable AI tests Unless approved CI #416: Pull request #76 synchronize by nivcertora
January 9, 2025 13:48 5m 15s niv/CERT-8003-Disable-AI-Tests-In-CI
niv/CERT-8003-Disable-AI-Tests-In-CI
January 9, 2025 13:48 5m 15s
CI CI #415: submitted by yoav-el-certora
January 9, 2025 13:45 3s
January 9, 2025 13:45 3s
Disable AI tests Unless approved CI #414: Pull request #76 synchronize by nivcertora
January 9, 2025 13:38 5m 19s niv/CERT-8003-Disable-AI-Tests-In-CI
niv/CERT-8003-Disable-AI-Tests-In-CI
January 9, 2025 13:38 5m 19s
Disable AI tests Unless approved CI #413: Pull request #76 synchronize by nivcertora
January 9, 2025 13:34 1m 58s niv/CERT-8003-Disable-AI-Tests-In-CI
niv/CERT-8003-Disable-AI-Tests-In-CI
January 9, 2025 13:34 1m 58s
Disable AI tests Unless approved CI #412: Pull request #76 synchronize by nivcertora
January 9, 2025 13:26 1m 49s niv/CERT-8003-Disable-AI-Tests-In-CI
niv/CERT-8003-Disable-AI-Tests-In-CI
January 9, 2025 13:26 1m 49s
Disable AI tests Unless approved CI #411: Pull request #76 opened by nivcertora
January 9, 2025 13:24 1s niv/CERT-8003-Disable-AI-Tests-In-CI
niv/CERT-8003-Disable-AI-Tests-In-CI
January 9, 2025 13:24 1s
Remove from CI CI #410: Commit 53a22bd pushed by yoav-el-certora
January 9, 2025 12:47 Failure Remove_Niv_And_Liav_From_CI
Remove_Niv_And_Liav_From_CI
January 9, 2025 12:47 Failure
Remove from CI CI #409: Commit 813effe pushed by yoav-el-certora
January 9, 2025 12:31 Failure Remove_Niv_And_Liav_From_CI
Remove_Niv_And_Liav_From_CI
January 9, 2025 12:31 Failure
CI CI #408: submitted by liav-certora
January 9, 2025 11:43 5m 23s
January 9, 2025 11:43 5m 23s
Restructure + Support poetry format CI #407: Pull request #73 synchronize by nivcertora
January 9, 2025 11:43 5m 12s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:43 5m 12s
publish-pypi publish-pypi #25: published by nivcertora
January 9, 2025 11:23 36s
January 9, 2025 11:23 36s
Restructure + Support poetry format CI #406: Pull request #73 synchronize by nivcertora
January 9, 2025 11:21 5m 20s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:21 5m 20s
Restructure + Support poetry format CI #405: Pull request #73 synchronize by nivcertora
January 9, 2025 11:20 5m 22s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:20 5m 22s
publish-pypi publish-pypi #24: published by nivcertora
January 9, 2025 11:13 44s
January 9, 2025 11:13 44s
Restructure + Support poetry format CI #404: Pull request #73 synchronize by nivcertora
January 9, 2025 11:11 5m 16s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:11 5m 16s
publish-pypi publish-pypi #23: published by nivcertora
January 9, 2025 11:06 20s
January 9, 2025 11:06 20s
Restructure + Support poetry format CI #403: Pull request #73 synchronize by nivcertora
January 9, 2025 11:06 5m 14s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:06 5m 14s
publish-pypi publish-pypi #22: published by nivcertora
January 9, 2025 11:02 24s
January 9, 2025 11:02 24s
Restructure + Support poetry format CI #402: Pull request #73 synchronize by nivcertora
January 9, 2025 11:01 5m 11s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 11:01 5m 11s
publish-pypi publish-pypi #21: published by nivcertora
January 9, 2025 10:57 30s
January 9, 2025 10:57 30s
Restructure + Support poetry format CI #401: Pull request #73 synchronize by nivcertora
January 9, 2025 10:57 5m 28s niv/CERT-7934-Poetry-Ruff-Direnv
niv/CERT-7934-Poetry-Ruff-Direnv
January 9, 2025 10:57 5m 28s
publish-pypi publish-pypi #20: published by nivcertora
January 9, 2025 10:55 2s
January 9, 2025 10:55 2s