Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-ffi.yml
411 workflow run results
411 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

run workflow using solvers as a base image Test FFI #299: Pull request #307 opened by karmacoma-eth
June 7, 2024 00:49 1m 2s use-solvers-image
use-solvers-image
June 7, 2024 00:49 1m 2s
remove feat-packages trigger from solvers-publish.yml Test FFI #298: Commit 14495d8 pushed by karmacoma-eth
June 6, 2024 21:28 1m 4s main
main
June 6, 2024 21:28 1m 4s
feat: solvers package (#302) Test FFI #297: Commit 338b8ea pushed by karmacoma-eth
June 6, 2024 21:26 1m 24s main
main
June 6, 2024 21:26 1m 24s
feat: solvers package Test FFI #296: Pull request #302 synchronize by karmacoma-eth
June 6, 2024 20:25 1m 8s feat-packages
feat-packages
June 6, 2024 20:25 1m 8s
feat: solvers package Test FFI #295: Pull request #302 synchronize by karmacoma-eth
June 6, 2024 19:59 58s feat-packages
feat-packages
June 6, 2024 19:59 58s
feat: solvers package Test FFI #292: Pull request #302 synchronize by karmacoma-eth
June 6, 2024 17:07 1m 0s feat-packages
feat-packages
June 6, 2024 17:07 1m 0s
feat: solvers package Test FFI #291: Pull request #302 synchronize by karmacoma-eth
June 6, 2024 16:52 2m 16s feat-packages
feat-packages
June 6, 2024 16:52 2m 16s
feat: solvers package Test FFI #290: Pull request #302 synchronize by karmacoma-eth
June 6, 2024 16:32 1m 3s feat-packages
feat-packages
June 6, 2024 16:32 1m 3s
feat: solvers package Test FFI #289: Pull request #302 synchronize by karmacoma-eth
June 4, 2024 23:51 1m 15s feat-packages
feat-packages
June 4, 2024 23:51 1m 15s
feat: solvers package Test FFI #288: Pull request #302 opened by karmacoma-eth
June 4, 2024 23:47 1m 2s feat-packages
feat-packages
June 4, 2024 23:47 1m 2s
example halmos.toml (#299) Test FFI #287: Commit cf9c2b2 pushed by karmacoma-eth
June 3, 2024 17:57 1m 1s main
main
June 3, 2024 17:57 1m 1s
example halmos.toml Test FFI #286: Pull request #299 synchronize by karmacoma-eth
June 3, 2024 17:24 1m 1s toml-example
toml-example
June 3, 2024 17:24 1m 1s
example halmos.toml Test FFI #285: Pull request #299 synchronize by karmacoma-eth
June 3, 2024 17:14 1m 4s toml-example
toml-example
June 3, 2024 17:14 1m 4s
example halmos.toml Test FFI #284: Pull request #299 synchronize by karmacoma-eth
June 3, 2024 17:09 55s toml-example
toml-example
June 3, 2024 17:09 55s
example halmos.toml Test FFI #283: Pull request #299 synchronize by karmacoma-eth
June 3, 2024 16:29 1m 7s toml-example
toml-example
June 3, 2024 16:29 1m 7s
🔨 Add Missing Error Code in parse_build_out Warning (#300) Test FFI #282: Commit f7216ee pushed by karmacoma-eth
June 1, 2024 19:02 59s main
main
June 1, 2024 19:02 59s
🔨 Add Missing Error Code in parse_build_out Warning Test FFI #281: Pull request #300 synchronize by karmacoma-eth
June 1, 2024 18:58 48s fix/patch-warning
fix/patch-warning
June 1, 2024 18:58 48s
🔨 Add Missing Error Code in parse_build_out Warning Test FFI #278: Pull request #300 opened by pcaversaccio
June 1, 2024 09:22 59s fix/patch-warning
fix/patch-warning
June 1, 2024 09:22 59s
example halmos.toml Test FFI #277: Pull request #299 opened by karmacoma-eth
June 1, 2024 00:09 54s toml-example
toml-example
June 1, 2024 00:09 54s
test-long.yml: install halmos Test FFI #276: Commit 007c62c pushed by karmacoma-eth
May 31, 2024 22:15 51s main
main
May 31, 2024 22:15 51s
toml config, take 2 (#298) Test FFI #275: Commit c101af3 pushed by karmacoma-eth
May 31, 2024 20:57 1m 2s main
main
May 31, 2024 20:57 1m 2s
toml config, take 2 Test FFI #274: Pull request #298 synchronize by karmacoma-eth
May 31, 2024 18:41 1m 8s toml-config
toml-config
May 31, 2024 18:41 1m 8s
toml config, take 2 Test FFI #273: Pull request #298 synchronize by karmacoma-eth
May 31, 2024 16:34 1m 3s toml-config
toml-config
May 31, 2024 16:34 1m 3s
toml config, take 2 Test FFI #272: Pull request #298 synchronize by karmacoma-eth
May 30, 2024 16:48 56s toml-config
toml-config
May 30, 2024 16:48 56s
toml config, take 2 Test FFI #271: Pull request #298 synchronize by karmacoma-eth
May 30, 2024 00:58 1m 1s toml-config
toml-config
May 30, 2024 00:58 1m 1s