Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
382 workflow run results
382 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 #717: Pull request #312 opened by daejunpark
June 24, 2024 20:54 1m 18s ci/workflows
ci/workflows
June 24, 2024 20:54 1m 18s
feat: cache unsat queries using unsat core Test #716: Pull request #311 synchronize by daejunpark
June 24, 2024 10:03 1m 36s feat/unsat-core
feat/unsat-core
June 24, 2024 10:03 1m 36s
feat: cache unsat queries using unsat core Test #715: Pull request #311 synchronize by daejunpark
June 24, 2024 09:52 1m 39s feat/unsat-core
feat/unsat-core
June 24, 2024 09:52 1m 39s
feat: cache unsat queries using unsat core Test #714: Pull request #311 synchronize by daejunpark
June 24, 2024 09:49 1m 24s feat/unsat-core
feat/unsat-core
June 24, 2024 09:49 1m 24s
feat: cache unsat queries using unsat core Test #713: Pull request #311 synchronize by daejunpark
June 24, 2024 09:45 1m 41s feat/unsat-core
feat/unsat-core
June 24, 2024 09:45 1m 41s
feat: cache unsat queries using unsat core Test #712: Pull request #311 synchronize by daejunpark
June 24, 2024 09:37 1m 42s feat/unsat-core
feat/unsat-core
June 24, 2024 09:37 1m 42s
Test Test #711: Manually run by daejunpark
June 24, 2024 08:47 4m 43s feat/unsat-core
feat/unsat-core
June 24, 2024 08:47 4m 43s
Test Test #710: Manually run by daejunpark
June 24, 2024 08:47 4m 52s feat/unsat-core
feat/unsat-core
June 24, 2024 08:47 4m 52s
feat: cache unsat queries using unsat core Test #709: Pull request #311 synchronize by daejunpark
June 24, 2024 08:46 1m 46s feat/unsat-core
feat/unsat-core
June 24, 2024 08:46 1m 46s
feat: cache unsat queries using unsat core Test #708: Pull request #311 synchronize by daejunpark
June 24, 2024 08:38 4m 11s feat/unsat-core
feat/unsat-core
June 24, 2024 08:38 4m 11s
Test Test #707: Manually run by daejunpark
June 24, 2024 08:28 4m 9s feat/unsat-core
feat/unsat-core
June 24, 2024 08:28 4m 9s
feat: cache unsat queries using unsat core Test #706: Pull request #311 synchronize by daejunpark
June 24, 2024 08:27 3m 23s feat/unsat-core
feat/unsat-core
June 24, 2024 08:27 3m 23s
feat: cache unsat queries using unsat core Test #705: Pull request #311 synchronize by daejunpark
June 24, 2024 07:59 3m 32s feat/unsat-core
feat/unsat-core
June 24, 2024 07:59 3m 32s
feat: cache unsat queries using unsat core Test #704: Pull request #311 synchronize by daejunpark
June 24, 2024 07:55 5m 30s feat/unsat-core
feat/unsat-core
June 24, 2024 07:55 5m 30s
feat: cache unsat queries using unsat core Test #703: Pull request #311 opened by daejunpark
June 24, 2024 03:39 2m 50s feat/unsat-core
feat/unsat-core
June 24, 2024 03:39 2m 50s
refactor: data structure of path conditions (#310) Test #702: Commit 060a6d8 pushed by daejunpark
June 23, 2024 21:33 2m 46s main
main
June 23, 2024 21:33 2m 46s
refactor: data structure of path conditions Test #701: Pull request #310 opened by daejunpark
June 23, 2024 20:41 2m 44s refactor/path-class
refactor/path-class
June 23, 2024 20:41 2m 44s
add intermediary halmos-builder image and dockerize more workflows Test #697: Pull request #308 synchronize by karmacoma-eth
June 7, 2024 23:38 2m 39s chore-workflows
chore-workflows
June 7, 2024 23:38 2m 39s
add intermediary halmos-builder image and dockerize more workflows Test #696: Pull request #308 synchronize by karmacoma-eth
June 7, 2024 23:12 3m 5s chore-workflows
chore-workflows
June 7, 2024 23:12 3m 5s
add intermediary halmos-builder image and dockerize more workflows Test #695: Pull request #308 opened by karmacoma-eth
June 7, 2024 23:11 3m 22s chore-workflows
chore-workflows
June 7, 2024 23:11 3m 22s
dedockerize test.yml (to do the test matrix on every OS) Test #694: Commit 153ce94 pushed by karmacoma-eth
June 7, 2024 23:07 2m 47s chore-workflows
chore-workflows
June 7, 2024 23:07 2m 47s
dockerize test workflows Test #693: Commit dda26a4 pushed by karmacoma-eth
June 7, 2024 22:56 42s chore-workflows
chore-workflows
June 7, 2024 22:56 42s
run workflow using solvers as a base image (#307) Test #692: Commit 4d2161f pushed by karmacoma-eth
June 7, 2024 22:20 3m 4s main
main
June 7, 2024 22:20 3m 4s
run workflow using solvers as a base image Test #689: Pull request #307 opened by karmacoma-eth
June 7, 2024 00:49 3m 27s use-solvers-image
use-solvers-image
June 7, 2024 00:49 3m 27s
remove feat-packages trigger from solvers-publish.yml Test #688: Commit 14495d8 pushed by karmacoma-eth
June 6, 2024 21:28 2m 53s main
main
June 6, 2024 21:28 2m 53s