Skip to content

Actions: saurabhchalke/halmos

Actions

Test external projects

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-external.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: support vm.getBlockNumber cheatcode (#325) Test external projects #8: Commit 8ae5902 pushed by pull bot
July 19, 2024 21:58 25m 40s main
main
July 19, 2024 21:58 25m 40s
perf: early exit for fail() (#322) Test external projects #7: Commit 40cf25a pushed by pull bot
July 17, 2024 09:45 25m 58s main
main
July 17, 2024 09:45 25m 58s
ci: pin yices2=2.6.4 (#320) Test external projects #6: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 35m 23s main
main
June 27, 2024 06:38 35m 23s
ci: add snekmate to external test suites (#315) Test external projects #5: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 46m 54s main
main
June 26, 2024 01:51 46m 54s
cli: deprecated --solver-parallel (#314) Test external projects #4: Commit f178dfb pushed by pull bot
June 25, 2024 01:14 43s main
main
June 25, 2024 01:14 43s
refactor: data structure of path conditions (#310) Test external projects #3: Commit 060a6d8 pushed by pull bot
June 24, 2024 02:42 8m 15s main
main
June 24, 2024 02:42 8m 15s
run workflow using solvers as a base image (#307) Test external projects #2: Commit 4d2161f pushed by pull bot
June 8, 2024 02:03 4m 20s main
main
June 8, 2024 02:03 4m 20s
remove feat-packages trigger from solvers-publish.yml Test external projects #1: Commit 14495d8 pushed by pull bot
June 6, 2024 23:35 4m 29s main
main
June 6, 2024 23:35 4m 29s