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

perf: early exit for fail() Test #773: Pull request #322 synchronize by daejunpark
July 17, 2024 02:11 2m 48s perf/early-exit-fail
perf/early-exit-fail
July 17, 2024 02:11 2m 48s
perf: early exit for fail() Test #772: Pull request #322 synchronize by daejunpark
July 17, 2024 02:07 4m 39s perf/early-exit-fail
perf/early-exit-fail
July 17, 2024 02:07 4m 39s
perf: early exit for fail() Test #771: Pull request #322 synchronize by daejunpark
July 17, 2024 01:29 2m 32s perf/early-exit-fail
perf/early-exit-fail
July 17, 2024 01:29 2m 32s
feat: parse symbols from build to print readable traces (#309) Test #770: Commit 7ba5a74 pushed by daejunpark
July 17, 2024 01:24 2m 46s main
main
July 17, 2024 01:24 2m 46s
[Feature/#244] Parse symbols from build to print readable traces Test #769: Pull request #309 synchronize by daejunpark
July 17, 2024 01:19 3m 23s pillip:feature/#244-convert-hex-to-readable
pillip:feature/#244-convert-hex-to-readable
July 17, 2024 01:19 3m 23s
perf: early exit for fail() Test #767: Pull request #322 synchronize by daejunpark
July 16, 2024 22:51 2m 37s perf/early-exit-fail
perf/early-exit-fail
July 16, 2024 22:51 2m 37s
perf: early exit for fail() Test #766: Pull request #322 synchronize by daejunpark
July 16, 2024 22:06 2m 39s perf/early-exit-fail
perf/early-exit-fail
July 16, 2024 22:06 2m 39s
[Feature/#244] Parse symbols from build to print readable traces Test #765: Pull request #309 synchronize by karmacoma-eth
July 16, 2024 21:05 2m 35s pillip:feature/#244-convert-hex-to-readable
pillip:feature/#244-convert-hex-to-readable
July 16, 2024 21:05 2m 35s
[Feature/#244] Parse symbols from build to print readable traces Test #764: Pull request #309 synchronize by karmacoma-eth
July 16, 2024 21:01 3m 1s pillip:feature/#244-convert-hex-to-readable
pillip:feature/#244-convert-hex-to-readable
July 16, 2024 21:01 3m 1s
[Feature/#244] Parse symbols from build to print readable traces Test #763: Pull request #309 synchronize by karmacoma-eth
July 16, 2024 21:00 2m 59s pillip:feature/#244-convert-hex-to-readable
pillip:feature/#244-convert-hex-to-readable
July 16, 2024 21:00 2m 59s
[Feature/#244] Parse symbols from build to print readable traces Test #757: Pull request #309 synchronize by karmacoma-eth
July 15, 2024 23:29 3m 24s pillip:feature/#244-convert-hex-to-readable
pillip:feature/#244-convert-hex-to-readable
July 15, 2024 23:29 3m 24s
feat: support for forge-std assert cheatcodes Test #756: Pull request #323 synchronize by daejunpark
June 29, 2024 07:13 2m 51s feat/assertEq
feat/assertEq
June 29, 2024 07:13 2m 51s
feat: support for forge-std assert cheatcodes Test #755: Pull request #323 synchronize by daejunpark
June 29, 2024 07:12 2m 42s feat/assertEq
feat/assertEq
June 29, 2024 07:12 2m 42s
feat: support for forge-std assert cheatcodes Test #754: Pull request #323 opened by daejunpark
June 29, 2024 01:45 3m 22s feat/assertEq
feat/assertEq
June 29, 2024 01:45 3m 22s
perf: early exit for fail() Test #753: Pull request #322 opened by daejunpark
June 29, 2024 01:39 2m 48s perf/early-exit-fail
perf/early-exit-fail
June 29, 2024 01:39 2m 48s
ci: pin yices2=2.6.4 (#320) Test #752: Commit 854eab2 pushed by daejunpark
June 26, 2024 22:25 3m 15s main
main
June 26, 2024 22:25 3m 15s
ci: pin yices2=2.6.4 Test #751: Pull request #320 synchronize by daejunpark
June 26, 2024 22:23 3m 42s dep/pin-yices2
dep/pin-yices2
June 26, 2024 22:23 3m 42s
ci: pin yices2=2.6.4 Test #750: Pull request #320 synchronize by daejunpark
June 26, 2024 21:58 7m 47s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:58 7m 47s
ci: pin yices2=2.6.4 Test #749: Pull request #320 synchronize by daejunpark
June 26, 2024 21:57 5m 28s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:57 5m 28s
ci: pin yices2=2.6.4 Test #748: Pull request #320 synchronize by daejunpark
June 26, 2024 21:55 5m 26s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:55 5m 26s
ci: pin yices2=2.6.4 Test #747: Pull request #320 synchronize by daejunpark
June 26, 2024 21:53 7m 31s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:53 7m 31s
ci: pin yices2=2.6.4 Test #746: Pull request #320 synchronize by daejunpark
June 26, 2024 21:47 4m 24s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:47 4m 24s
ci: pin yices2=2.6.4 Test #745: Pull request #320 synchronize by daejunpark
June 26, 2024 21:39 3m 10s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:39 3m 10s
ci: pin yices2=2.6.4 Test #744: Pull request #320 synchronize by daejunpark
June 26, 2024 21:36 2m 42s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:36 2m 42s
ci: pin yices2=2.6.4 Test #743: Pull request #320 synchronize by daejunpark
June 26, 2024 21:31 2m 43s dep/pin-yices2
dep/pin-yices2
June 26, 2024 21:31 2m 43s