Skip to content

Actions: Certora/Quorum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
629 workflow runs
629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #437: submitted by yoav-el-certora
January 9, 2025 16:08 2s
January 9, 2025 16:08 2s
Disable AI tests in CI, only test them on Release (#77) publish-pypi #30: Commit 3384c4d pushed by nivcertora
January 9, 2025 15:59 Failure main
main
January 9, 2025 15:59 Failure
CI CI #436: submitted by liav-certora
January 9, 2025 15:59 5m 9s
January 9, 2025 15:59 5m 9s
Disable AI tests in CI, only test them on Release CI #435: Pull request #77 synchronize by nivcertora
January 9, 2025 15:53 4m 24s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:53 4m 24s
Clean leftover publish-pypi #29: Commit 680b6ff pushed by nivcertora
January 9, 2025 15:53 Failure niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:53 Failure
Disable AI tests in CI, only test them on Release CI #434: Pull request #77 synchronize by nivcertora
January 9, 2025 15:52 4m 26s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:52 4m 26s
Remove print publish-pypi #28: Commit 05222be pushed by nivcertora
January 9, 2025 15:52 Failure niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:52 Failure
Disable AI tests in CI, only test them on Release CI #433: Pull request #77 synchronize by nivcertora
January 9, 2025 15:51 4m 14s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:51 4m 14s
Fallback to the more descriptive option publish-pypi #27: Commit e73a92c pushed by nivcertora
January 9, 2025 15:51 Failure niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:51 Failure
Disable AI tests in CI, only test them on Release CI #432: Pull request #77 synchronize by nivcertora
January 9, 2025 15:47 1s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:47 1s
Disable AI tests in CI, only test them on Release CI #431: Pull request #77 synchronize by nivcertora
January 9, 2025 15:43 2s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:43 2s
Disable AI tests in CI, only test them on Release CI #430: Pull request #77 synchronize by nivcertora
January 9, 2025 15:39 1s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:39 1s
Disable AI tests in CI, only test them on Release CI #429: Pull request #77 synchronize by nivcertora
January 9, 2025 15:23 4m 25s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:23 4m 25s
Disable AI tests in CI, only test them on Release CI #428: Pull request #77 synchronize by nivcertora
January 9, 2025 15:14 1m 18s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:14 1m 18s
Disable AI tests in CI, only test them on Release CI #427: Pull request #77 synchronize by nivcertora
January 9, 2025 15:10 1m 27s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 15:10 1m 27s
CI CI #426: submitted by yoav-el-certora
January 9, 2025 15:04 4s
January 9, 2025 15:04 4s
Disable AI tests in CI, only test them on Release CI #425: Pull request #77 synchronize by nivcertora
January 9, 2025 14:55 1m 20s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:55 1m 20s
Disable AI tests in CI, only test them on Release CI #424: Pull request #77 synchronize by nivcertora
January 9, 2025 14:52 1m 33s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:52 1m 33s
Disable AI tests in CI, only test them on Release CI #423: Pull request #77 synchronize by nivcertora
January 9, 2025 14:47 1m 27s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:47 1m 27s
Fix Path publish-pypi #26: Commit 9a88297 pushed by nivcertora
January 9, 2025 14:45 Failure niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:45 Failure
Fix Path CI #422: Commit 9a88297 pushed by nivcertora
January 9, 2025 14:45 Failure niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:45 Failure
Disable AI tests in CI, only test them on Release CI #421: Pull request #77 synchronize by nivcertora
January 9, 2025 14:43 1m 31s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:43 1m 31s
Disable AI tests in CI, only test them on Release CI #420: Pull request #77 synchronize by nivcertora
January 9, 2025 14:30 4m 55s niv/SET-HAIKU
niv/SET-HAIKU
January 9, 2025 14:30 4m 55s
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