Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add workflow dispatch inputs + fix test-external outdated image Test FFI #324: Pull request #312 opened by daejunpark
June 24, 2024 20:54 1m 0s ci/workflows
ci/workflows
June 24, 2024 20:54 1m 0s
feat: cache unsat queries using unsat core Test FFI #323: Pull request #311 synchronize by daejunpark
June 24, 2024 10:03 1m 4s feat/unsat-core
feat/unsat-core
June 24, 2024 10:03 1m 4s
feat: cache unsat queries using unsat core Test FFI #322: Pull request #311 synchronize by daejunpark
June 24, 2024 09:52 58s feat/unsat-core
feat/unsat-core
June 24, 2024 09:52 58s
feat: cache unsat queries using unsat core Test FFI #321: Pull request #311 synchronize by daejunpark
June 24, 2024 09:49 1m 5s feat/unsat-core
feat/unsat-core
June 24, 2024 09:49 1m 5s
feat: cache unsat queries using unsat core Test FFI #320: Pull request #311 synchronize by daejunpark
June 24, 2024 09:45 1m 3s feat/unsat-core
feat/unsat-core
June 24, 2024 09:45 1m 3s
feat: cache unsat queries using unsat core Test FFI #319: Pull request #311 synchronize by daejunpark
June 24, 2024 09:37 1m 6s feat/unsat-core
feat/unsat-core
June 24, 2024 09:37 1m 6s
feat: cache unsat queries using unsat core Test FFI #318: Pull request #311 synchronize by daejunpark
June 24, 2024 08:46 1m 6s feat/unsat-core
feat/unsat-core
June 24, 2024 08:46 1m 6s
feat: cache unsat queries using unsat core Test FFI #317: Pull request #311 synchronize by daejunpark
June 24, 2024 08:38 1m 3s feat/unsat-core
feat/unsat-core
June 24, 2024 08:38 1m 3s
feat: cache unsat queries using unsat core Test FFI #316: Pull request #311 synchronize by daejunpark
June 24, 2024 08:27 1m 10s feat/unsat-core
feat/unsat-core
June 24, 2024 08:27 1m 10s
feat: cache unsat queries using unsat core Test FFI #315: Pull request #311 synchronize by daejunpark
June 24, 2024 07:59 1m 1s feat/unsat-core
feat/unsat-core
June 24, 2024 07:59 1m 1s
feat: cache unsat queries using unsat core Test FFI #314: Pull request #311 synchronize by daejunpark
June 24, 2024 07:55 1m 3s feat/unsat-core
feat/unsat-core
June 24, 2024 07:55 1m 3s
feat: cache unsat queries using unsat core Test FFI #313: Pull request #311 opened by daejunpark
June 24, 2024 03:39 1m 0s feat/unsat-core
feat/unsat-core
June 24, 2024 03:39 1m 0s
refactor: data structure of path conditions (#310) Test FFI #312: Commit 060a6d8 pushed by daejunpark
June 23, 2024 21:33 59s main
main
June 23, 2024 21:33 59s
refactor: data structure of path conditions Test FFI #311: Pull request #310 opened by daejunpark
June 23, 2024 20:41 59s refactor/path-class
refactor/path-class
June 23, 2024 20:41 59s
add intermediary halmos-builder image and dockerize more workflows Test FFI #307: Pull request #308 synchronize by karmacoma-eth
June 7, 2024 23:38 41s chore-workflows
chore-workflows
June 7, 2024 23:38 41s
add intermediary halmos-builder image and dockerize more workflows Test FFI #306: Pull request #308 synchronize by karmacoma-eth
June 7, 2024 23:12 46s chore-workflows
chore-workflows
June 7, 2024 23:12 46s
add intermediary halmos-builder image and dockerize more workflows Test FFI #305: Pull request #308 opened by karmacoma-eth
June 7, 2024 23:11 56s chore-workflows
chore-workflows
June 7, 2024 23:11 56s
switch test-ffi to ubuntu Test FFI #304: Commit dd67834 pushed by karmacoma-eth
June 7, 2024 22:58 45s chore-workflows
chore-workflows
June 7, 2024 22:58 45s
dockerize test workflows Test FFI #303: Commit dda26a4 pushed by karmacoma-eth
June 7, 2024 22:56 15s chore-workflows
chore-workflows
June 7, 2024 22:56 15s
run workflow using solvers as a base image (#307) Test FFI #302: Commit 4d2161f pushed by karmacoma-eth
June 7, 2024 22:20 1m 4s main
main
June 7, 2024 22:20 1m 4s
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