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

feat: cache unsat queries using unsat core Test FFI #329: Pull request #311 synchronize by daejunpark
June 24, 2024 22:34 1m 2s feat/unsat-core
feat/unsat-core
June 24, 2024 22:34 1m 2s
feat: cache unsat queries using unsat core Test FFI #328: Pull request #311 synchronize by daejunpark
June 24, 2024 21:56 1m 2s feat/unsat-core
feat/unsat-core
June 24, 2024 21:56 1m 2s
ci: add workflow dispatch inputs + fix test-external outdated image (… Test FFI #327: Commit 80f656f pushed by daejunpark
June 24, 2024 21:45 55s main
main
June 24, 2024 21:45 55s
ci: add workflow dispatch inputs + fix test-external outdated image Test FFI #326: Pull request #312 synchronize by daejunpark
June 24, 2024 21:28 1m 8s ci/workflows
ci/workflows
June 24, 2024 21:28 1m 8s
ci: add workflow dispatch inputs + fix test-external outdated image Test FFI #325: Pull request #312 synchronize by daejunpark
June 24, 2024 21:20 1m 7s ci/workflows
ci/workflows
June 24, 2024 21:20 1m 7s
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