Skip to content

Actions: OCamlPro/owi

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add btree dataset submodule
deploy #396: Commit 6ea1a80 pushed by zapashcanon
September 5, 2024 14:07 8m 47s main
September 5, 2024 14:07 8m 47s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4
deploy #395: Commit ec898f8 pushed by zapashcanon
September 3, 2024 10:50 9m 11s main
September 3, 2024 10:50 9m 11s
formatting
deploy #394: Commit b581e5d pushed by zapashcanon
August 27, 2024 12:00 8m 37s main
August 27, 2024 12:00 8m 37s
small refactor and some tests
deploy #393: Commit aef0bd6 pushed by zapashcanon
August 27, 2024 09:28 8m 32s main
August 27, 2024 09:28 8m 32s
add block type tests and promote
deploy #392: Commit 132995e pushed by zapashcanon
August 27, 2024 08:34 9m 18s main
August 27, 2024 08:34 9m 18s
Fix heap pointer bounds check
deploy #391: Commit f3175c0 pushed by zapashcanon
August 27, 2024 08:18 8m 30s main
August 27, 2024 08:18 8m 30s
make sure we do not go over the timeout
deploy #390: Commit edf7240 pushed by zapashcanon
August 26, 2024 14:30 26m 49s main
August 26, 2024 14:30 26m 49s
simplify some checks
deploy #389: Commit 03a8049 pushed by zapashcanon
August 23, 2024 17:19 9m 24s main
August 23, 2024 17:19 9m 24s
simplify grouped a little more
deploy #388: Commit ab7b322 pushed by zapashcanon
August 22, 2024 21:58 29m 36s main
August 22, 2024 21:58 29m 36s
fix comment
deploy #387: Commit d73756b pushed by zapashcanon
August 22, 2024 14:25 31s main
August 22, 2024 14:25 31s
simplify binary module type
deploy #386: Commit ea3d9b6 pushed by zapashcanon
August 21, 2024 15:03 9m 24s main
August 21, 2024 15:03 9m 24s
Add missing dev dependencies
deploy #385: Commit 45d5f4d pushed by zapashcanon
August 21, 2024 11:51 26m 29s main
August 21, 2024 11:51 26m 29s
fix CI
deploy #384: Commit 7101e12 pushed by zapashcanon
August 20, 2024 09:29 26m 28s main
August 20, 2024 09:29 26m 28s
Trim explored paths and enable collections-c for owi conc
deploy #383: Commit 37f148c pushed by zapashcanon
August 18, 2024 20:26 25m 3s main
August 18, 2024 20:26 25m 3s
Simplify out_of_bounds checks
deploy #382: Commit 83eae78 pushed by zapashcanon
August 17, 2024 11:24 23m 27s main
August 17, 2024 11:24 23m 27s
hide not supported test output to make CI happy
deploy #381: Commit 0b38736 pushed by zapashcanon
August 13, 2024 14:33 26m 47s main
August 13, 2024 14:33 26m 47s
remove one invalid file from the whitelist, increase the number of
deploy #380: Commit db032d8 pushed by zapashcanon
August 13, 2024 11:40 1m 12s main
August 13, 2024 11:40 1m 12s
Detail run definition
deploy #379: Commit e21c4ca pushed by zapashcanon
August 11, 2024 10:32 1m 18s main
August 11, 2024 10:32 1m 18s
Create Synchronzier module
deploy #378: Commit 22e4151 pushed by zapashcanon
August 6, 2024 09:08 1m 37s main
August 6, 2024 09:08 1m 37s
Bump tarides/changelog-check-action from 2 to 3
deploy #377: Commit 113a08b pushed by zapashcanon
August 6, 2024 09:02 1m 39s main
August 6, 2024 09:02 1m 39s
Add output dir and tables in zulip notification
deploy #376: Commit 55f7fa8 pushed by zapashcanon
August 3, 2024 09:04 5m 50s main
August 3, 2024 09:04 5m 50s
clean code and improve code coverage
deploy #375: Commit 9888171 pushed by zapashcanon
August 3, 2024 00:06 7m 4s main
August 3, 2024 00:06 7m 4s
install ocb in deploy CI
deploy #374: Commit a9e4bb7 pushed by zapashcanon
August 2, 2024 18:27 20m 51s main
August 2, 2024 18:27 20m 51s
install Z3 in CI for coverage
deploy #373: Commit 80c87da pushed by zapashcanon
August 2, 2024 17:49 20m 4s main
August 2, 2024 17:49 20m 4s
install bisect_ppx before coverage
deploy #372: Commit c1ae556 pushed by zapashcanon
August 2, 2024 17:40 7m 1s main
August 2, 2024 17:40 7m 1s