Skip to content

Actions: zapashcanon/owi

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use a submodule for collections-c tests deploy #32: Commit f2149f0 pushed by zapashcanon
May 30, 2024 10:32 5m 17s main
main
May 30, 2024 10:32 5m 17s
add binary to perform a diff between two bench results deploy #31: Commit 76a4e5c pushed by zapashcanon
May 29, 2024 15:29 3m 48s main
main
May 29, 2024 15:29 3m 48s
add binary to perform a diff between two bench results deploy #30: Commit 3505a9f pushed by zapashcanon
May 29, 2024 15:24 5m 27s main
main
May 29, 2024 15:24 5m 27s
add klee benchmark deploy #29: Commit 2d377c6 pushed by zapashcanon
May 28, 2024 22:03 5m 14s main
main
May 28, 2024 22:03 5m 14s
add klee benchmark deploy #28: Commit 16699e3 pushed by zapashcanon
May 28, 2024 21:31 4m 49s main
main
May 28, 2024 21:31 4m 49s
add klee benchmark deploy #27: Commit aa2f0e3 pushed by zapashcanon
May 28, 2024 21:29 5m 49s main
main
May 28, 2024 21:29 5m 49s
update CI to 5.2 deploy #26: Commit 525fa7a pushed by zapashcanon
May 28, 2024 14:54 5m 12s main
main
May 28, 2024 14:54 5m 12s
update CI to 5.2 deploy #25: Commit e50f962 pushed by zapashcanon
May 28, 2024 14:26 7m 48s main
main
May 28, 2024 14:26 7m 48s
remove python instrumentation and fix some inline annotations to work deploy #24: Commit fbf9f2d pushed by zapashcanon
May 28, 2024 14:16 5m 37s main
main
May 28, 2024 14:16 5m 37s
remove unused copy of files deploy #23: Commit f4be13b pushed by zapashcanon
May 28, 2024 14:00 3m 58s main
main
May 28, 2024 14:00 3m 58s
remove python instrumentation and fix some inline annotations to work deploy #22: Commit 6d6a571 pushed by zapashcanon
May 28, 2024 13:52 5m 10s main
main
May 28, 2024 13:52 5m 10s
implement pretty-printing of concolic values deploy #21: Commit ee4e472 pushed by zapashcanon
May 26, 2024 13:22 7m 59s main
main
May 26, 2024 13:22 7m 59s
allows owi conc to run on .wasm files deploy #20: Commit 250d3db pushed by zapashcanon
May 7, 2024 12:21 21m 4s main
main
May 7, 2024 12:21 21m 4s
update bisect ignored files deploy #19: Commit 1dadeeb pushed by zapashcanon
March 29, 2024 14:38 20m 36s main
main
March 29, 2024 14:38 20m 36s
better README deploy #18: Commit 1a0510e pushed by zapashcanon
February 24, 2024 08:03 27s main
main
February 24, 2024 08:03 27s
better README deploy #17: Commit 1ba43ee pushed by zapashcanon
February 24, 2024 08:03 18m 32s main
main
February 24, 2024 08:03 18m 32s
Implement the remaining functions in symbolic_table deploy #16: Commit d17beb3 pushed by zapashcanon
February 24, 2024 08:01 18m 9s main
main
February 24, 2024 08:01 18m 9s
simplify rotl and rotr deploy #15: Commit f4027ea pushed by zapashcanon
February 23, 2024 15:03 19m 1s main
main
February 23, 2024 15:03 19m 1s
simplify rotl and rotr deploy #14: Commit 4ca03d7 pushed by zapashcanon
February 23, 2024 15:00 19m 2s main
main
February 23, 2024 15:00 19m 2s
remove useless exception deploy #13: Commit 2bfae64 pushed by zapashcanon
February 21, 2024 16:37 21m 23s main
main
February 21, 2024 16:37 21m 23s
try to cache opam deploy #12: Commit 262a972 pushed by zapashcanon
February 13, 2024 14:48 Failure ci
ci
February 13, 2024 14:48 Failure
try to cache opam deploy #11: Commit b746c6a pushed by zapashcanon
February 13, 2024 14:29 Failure ci
ci
February 13, 2024 14:29 Failure
try to cache opam deploy #10: Commit 11bc0ca pushed by zapashcanon
February 13, 2024 14:07 Failure ci
ci
February 13, 2024 14:07 Failure
try to cache opam deploy #9: Commit af42160 pushed by zapashcanon
February 13, 2024 14:05 Failure ci
ci
February 13, 2024 14:05 Failure
try to cache opam deploy #8: Commit d6545d0 pushed by zapashcanon
February 13, 2024 13:35 Failure ci
ci
February 13, 2024 13:35 Failure