Skip to content

Actions: a16z/halmos

Actions

Test long

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-long.yml
229 workflow run results
229 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: nicer output Test long #167: Pull request #209 synchronize by karmacoma-eth
October 20, 2023 22:10 22m 54s feat-nicer-output
feat-nicer-output
October 20, 2023 22:10 22m 54s
feat: nicer output Test long #166: Pull request #209 opened by karmacoma-eth
October 18, 2023 22:49 22m 24s feat-nicer-output
feat-nicer-output
October 18, 2023 22:49 22m 24s
chore: update pyproject.toml (#206) Test long #165: Commit bdbcf51 pushed by daejunpark
October 12, 2023 19:11 22m 51s main
main
October 12, 2023 19:11 22m 51s
chore: update pyproject.toml Test long #164: Pull request #206 opened by daejunpark
October 12, 2023 00:23 25m 13s chore/pyproject
chore/pyproject
October 12, 2023 00:23 25m 13s
feat: smt solving refinement (#203) Test long #163: Commit 3f72a02 pushed by daejunpark
October 12, 2023 00:02 23m 10s main
main
October 12, 2023 00:02 23m 10s
feat: smt solving refinement Test long #162: Pull request #203 synchronize by daejunpark
October 11, 2023 23:26 22m 47s feat/refinement
feat/refinement
October 11, 2023 23:26 22m 47s
feat: smt solving refinement Test long #161: Pull request #203 synchronize by daejunpark
October 11, 2023 04:38 20m 35s feat/refinement
feat/refinement
October 11, 2023 04:38 20m 35s
feat: smt solving refinement Test long #160: Pull request #203 synchronize by daejunpark
October 11, 2023 02:06 27m 34s feat/refinement
feat/refinement
October 11, 2023 02:06 27m 34s
feat: smt solving refinement Test long #159: Pull request #203 synchronize by daejunpark
October 11, 2023 00:43 24m 46s feat/refinement
feat/refinement
October 11, 2023 00:43 24m 46s
feat: smt solving refinement Test long #158: Pull request #203 synchronize by daejunpark
October 11, 2023 00:32 22m 36s feat/refinement
feat/refinement
October 11, 2023 00:32 22m 36s
feat: smt solving refinement Test long #157: Pull request #203 opened by daejunpark
October 11, 2023 00:31 24m 1s feat/refinement
feat/refinement
October 11, 2023 00:31 24m 1s
docs: add fork testing example (#202) Test long #156: Commit 9ae36d1 pushed by daejunpark
October 10, 2023 06:05 24m 1s main
main
October 10, 2023 06:05 24m 1s
docs: add fork testing example Test long #155: Pull request #202 opened by daejunpark
October 10, 2023 05:52 23m 49s docs/fork-example
docs/fork-example
October 10, 2023 05:52 23m 49s
feat: execution traces (#199) Test long #154: Commit d5be133 pushed by karmacoma-eth
October 10, 2023 00:31 27m 25s main
main
October 10, 2023 00:31 27m 25s
feat: execution traces Test long #153: Pull request #199 synchronize by daejunpark
October 9, 2023 22:51 22m 26s exec-traces
exec-traces
October 9, 2023 22:51 22m 26s
feat: execution traces Test long #152: Pull request #199 synchronize by daejunpark
October 9, 2023 19:51 24m 38s exec-traces
exec-traces
October 9, 2023 19:51 24m 38s
feat: execution traces Test long #151: Pull request #199 synchronize by daejunpark
October 7, 2023 01:06 22m 21s exec-traces
exec-traces
October 7, 2023 01:06 22m 21s
feat: execution traces Test long #150: Pull request #199 synchronize by daejunpark
October 6, 2023 03:13 21m 9s exec-traces
exec-traces
October 6, 2023 03:13 21m 9s
feat: execution traces Test long #149: Pull request #199 synchronize by daejunpark
October 6, 2023 03:07 21m 16s exec-traces
exec-traces
October 6, 2023 03:07 21m 16s
feat: execution traces Test long #148: Pull request #199 synchronize by daejunpark
October 6, 2023 02:39 23m 29s exec-traces
exec-traces
October 6, 2023 02:39 23m 29s
feat: execution traces Test long #147: Pull request #199 synchronize by daejunpark
October 6, 2023 02:19 24m 24s exec-traces
exec-traces
October 6, 2023 02:19 24m 24s
feat: execution traces Test long #146: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 01:14 24m 51s exec-traces
exec-traces
October 5, 2023 01:14 24m 51s
feat: execution traces Test long #145: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 00:48 24m 3s exec-traces
exec-traces
October 5, 2023 00:48 24m 3s
feat: execution traces Test long #144: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 00:44 1m 41s exec-traces
exec-traces
October 5, 2023 00:44 1m 41s
test: add nonlinear tests (#198) Test long #143: Commit c1a175f pushed by daejunpark
September 27, 2023 03:49 21m 41s main
main
September 27, 2023 03:49 21m 41s