Skip to content

Actions: OCamlPro/owi

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removes encoding pin deploy #146: Commit f7e6a6c pushed by zapashcanon
November 21, 2023 19:51 15m 33s main
main
November 21, 2023 19:51 15m 33s
use a single shared AST instead of a functorized one, use object types deploy #145: Commit 9c35387 pushed by zapashcanon
November 21, 2023 14:48 17m 34s main
main
November 21, 2023 14:48 17m 34s
use official spelling ! deploy #144: Commit 818e269 pushed by zapashcanon
November 9, 2023 12:02 18m 4s main
main
November 9, 2023 12:02 18m 4s
add a note about spelling and pronunciation deploy #143: Commit b3bc808 pushed by zapashcanon
November 9, 2023 12:00 30m 51s main
main
November 9, 2023 12:00 30m 51s
nicer output for symbolic execution deploy #142: Commit fa8f7de pushed by zapashcanon
November 6, 2023 22:34 18m 1s main
main
November 6, 2023 22:34 18m 1s
Merge printfs and remove infix list map operator deploy #141: Commit bf3879b pushed by zapashcanon
November 6, 2023 17:28 15m 17s main
main
November 6, 2023 17:28 15m 17s
updates encoding pin deploy #140: Commit 0006534 pushed by zapashcanon
October 31, 2023 12:43 35m 18s main
main
October 31, 2023 12:43 35m 18s
add a subcommand opt, make the optimize modules call the optimize_expr deploy #139: Commit dc79809 pushed by zapashcanon
October 17, 2023 09:56 23m 1s main
main
October 17, 2023 09:56 23m 1s
one more concat simplification deploy #138: Commit bed67ea pushed by zapashcanon
October 17, 2023 07:30 25m 27s main
main
October 17, 2023 07:30 25m 27s
add symbolic instructions in the README deploy #137: Commit d8b3170 pushed by zapashcanon
October 16, 2023 14:26 34m 56s main
main
October 16, 2023 14:26 34m 56s
add symbolic instructions in the README deploy #136: Commit f7af984 pushed by zapashcanon
October 16, 2023 14:26 26m 56s main
main
October 16, 2023 14:26 26m 56s
refactor choice monad deploy #135: Commit c09f32b pushed by zapashcanon
October 14, 2023 13:12 25m 55s main
main
October 14, 2023 13:12 25m 55s
refactor choice monad deploy #134: Commit fe9519e pushed by zapashcanon
October 14, 2023 13:11 24m 30s main
main
October 14, 2023 13:11 24m 30s
refactor choice monad deploy #133: Commit 206df24 pushed by zapashcanon
October 14, 2023 13:08 26m 7s main
main
October 14, 2023 13:08 26m 7s
update CI deploy #132: Commit 055bbde pushed by zapashcanon
October 14, 2023 10:49 30m 14s main
main
October 14, 2023 10:49 30m 14s
use subcommands instead of various flags/binaries deploy #131: Commit 9bf290b pushed by zapashcanon
October 14, 2023 10:23 2m 55s main
main
October 14, 2023 10:23 2m 55s
Bump OCaml dependency to 5.1 deploy #130: Commit decae6c pushed by chambart
October 10, 2023 16:09 3m 19s main
main
October 10, 2023 16:09 3m 19s
Fix externref deploy #129: Commit 7722d99 pushed by chambart
October 10, 2023 16:06 32m 10s main
main
October 10, 2023 16:06 32m 10s
Z3 Tracing deploy #128: Commit 523f687 pushed by chambart
October 10, 2023 14:03 32m 59s main
main
October 10, 2023 14:03 32m 59s
Wait for the worker to start before terminating deploy #127: Commit 908b238 pushed by chambart
October 10, 2023 13:36 22m 33s main
main
October 10, 2023 13:36 22m 33s
enforce model correctness with assertion condition added to pc deploy #126: Commit b6d8dae pushed by zapashcanon
October 7, 2023 15:40 30m 53s main
main
October 7, 2023 15:40 30m 53s
clean Choice_monad deploy #125: Commit e6ddcd0 pushed by zapashcanon
October 7, 2023 13:36 25m 10s main
main
October 7, 2023 13:36 25m 10s
enforce model correctness with assertion condition added to pc deploy #124: Commit b6d8dae pushed by zapashcanon
October 6, 2023 23:41 31m 23s main
main
October 6, 2023 23:41 31m 23s
fixes 'concat' function for bit concatenation with i64 promotion deploy #123: Commit dc88bc1 pushed by zapashcanon
October 5, 2023 10:56 31m 24s main
main
October 5, 2023 10:56 31m 24s
Add encoding dependency to the dune-project deploy #122: Commit 4445d60 pushed by chambart
October 4, 2023 15:11 36m 46s main
main
October 4, 2023 15:11 36m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-10-04 or the other filters available.