Skip to content

Actions: OCamlPro/owi

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,229 workflow runs
1,229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updates encoding pin build #396: Commit 0006534 pushed by zapashcanon
October 31, 2023 12:43 29m 23s main
main
October 31, 2023 12:43 29m 23s
Updates encoding pin build #395: Pull request #72 opened by filipeom
October 31, 2023 11:04 28m 28s update-pin
update-pin
October 31, 2023 11:04 28m 28s
add a subcommand opt, make the optimize modules call the optimize_expr build #394: Commit dc79809 pushed by zapashcanon
October 17, 2023 09:56 31m 52s main
main
October 17, 2023 09:56 31m 52s
one more concat simplification build #393: Commit bed67ea pushed by zapashcanon
October 17, 2023 07:30 27m 41s main
main
October 17, 2023 07:30 27m 41s
One more concat simplification build #392: Pull request #71 synchronize by filipeom
October 17, 2023 07:24 23m 34s filipeom:concat-simpl
filipeom:concat-simpl
October 17, 2023 07:24 23m 34s
One more concat simplification build #391: Pull request #71 opened by filipeom
October 16, 2023 17:08 31m 55s filipeom:concat-simpl
filipeom:concat-simpl
October 16, 2023 17:08 31m 55s
add symbolic instructions in the README build #390: Commit d8b3170 pushed by zapashcanon
October 16, 2023 14:26 33m 4s main
main
October 16, 2023 14:26 33m 4s
add symbolic instructions in the README build #389: Commit f7af984 pushed by zapashcanon
October 16, 2023 14:26 27m 1s main
main
October 16, 2023 14:26 27m 1s
refactor choice monad build #388: Commit c09f32b pushed by zapashcanon
October 14, 2023 13:12 29m 44s main
main
October 14, 2023 13:12 29m 44s
refactor choice monad build #387: Commit fe9519e pushed by zapashcanon
October 14, 2023 13:11 28m 25s main
main
October 14, 2023 13:11 28m 25s
refactor choice monad build #386: Commit 206df24 pushed by zapashcanon
October 14, 2023 13:08 30m 8s main
main
October 14, 2023 13:08 30m 8s
clean Choice_monad build #385: Pull request #68 synchronize by zapashcanon
October 14, 2023 13:06 30m 11s cleanchoice
cleanchoice
October 14, 2023 13:06 30m 11s
clean Choice_monad build #384: Pull request #68 synchronize by zapashcanon
October 14, 2023 12:34 30m 50s cleanchoice
cleanchoice
October 14, 2023 12:34 30m 50s
clean Choice_monad build #383: Pull request #68 synchronize by zapashcanon
October 14, 2023 12:30 26m 43s cleanchoice
cleanchoice
October 14, 2023 12:30 26m 43s
clean Choice_monad build #382: Pull request #68 synchronize by zapashcanon
October 14, 2023 12:24 30m 15s cleanchoice
cleanchoice
October 14, 2023 12:24 30m 15s
clean Choice_monad build #381: Pull request #68 synchronize by zapashcanon
October 14, 2023 11:11 25m 42s cleanchoice
cleanchoice
October 14, 2023 11:11 25m 42s
update CI build #380: Commit 055bbde pushed by zapashcanon
October 14, 2023 10:49 33m 7s main
main
October 14, 2023 10:49 33m 7s
use subcommands instead of various flags/binaries build #379: Commit 9bf290b pushed by zapashcanon
October 14, 2023 10:23 4m 43s main
main
October 14, 2023 10:23 4m 43s
use subcommands instead of various flags/binaries build #378: Pull request #69 opened by zapashcanon
October 14, 2023 10:14 3m 37s cmdline
cmdline
October 14, 2023 10:14 3m 37s
Bump OCaml dependency to 5.1 build #377: Commit decae6c pushed by chambart
October 10, 2023 16:09 4m 57s main
main
October 10, 2023 16:09 4m 57s
Fix externref build #376: Commit 7722d99 pushed by chambart
October 10, 2023 16:06 27m 5s main
main
October 10, 2023 16:06 27m 5s
Z3 Tracing build #375: Commit 523f687 pushed by chambart
October 10, 2023 14:03 27m 2s main
main
October 10, 2023 14:03 27m 2s
Wait for the worker to start before terminating build #374: Commit 908b238 pushed by chambart
October 10, 2023 13:36 28m 26s main
main
October 10, 2023 13:36 28m 26s
enforce model correctness with assertion condition added to pc build #373: Commit b6d8dae pushed by zapashcanon
October 7, 2023 15:40 30m 6s main
main
October 7, 2023 15:40 30m 6s
clean Choice_monad build #372: Commit e6ddcd0 pushed by zapashcanon
October 7, 2023 13:36 26m 3s main
main
October 7, 2023 13:36 26m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-10-07 or the other filters available.