Skip to content

Actions: OCamlPro/owi

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

importe compile interface deploy #351: Commit ce702fa pushed by zapashcanon
July 17, 2024 13:52 5m 32s main
main
July 17, 2024 13:52 5m 32s
add a note about internship offers deploy #350: Commit 10b939f pushed by zapashcanon
July 10, 2024 16:41 5m 22s main
main
July 10, 2024 16:41 5m 22s
Dealing with the linear memory in external functions deploy #349: Commit ed313a4 pushed by zapashcanon
July 8, 2024 15:14 5m 15s main
main
July 8, 2024 15:14 5m 15s
move some validation out of grouped deploy #348: Commit 2348ef0 pushed by zapashcanon
July 5, 2024 15:23 5m 3s main
main
July 5, 2024 15:23 5m 3s
Put ocamlformat install under the if cached deploy #347: Commit 05c9d9c pushed by filipeom
July 5, 2024 14:39 4m 26s main
main
July 5, 2024 14:39 4m 26s
Pass memory to external functions malloc and free deploy #346: Commit 644aa49 pushed by filipeom
July 5, 2024 14:37 5m 37s main
main
July 5, 2024 14:37 5m 37s
Put ocamlformat install under the if cached deploy #345: Commit 05c9d9c pushed by krtab
July 5, 2024 08:54 8m 39s main
main
July 5, 2024 08:54 8m 39s
change default optimization level to O3 deploy #344: Commit a286e0a pushed by zapashcanon
July 4, 2024 10:45 5m 34s main
main
July 4, 2024 10:45 5m 34s
Add some comments deploy #343: Commit 59e2e00 pushed by zapashcanon
July 3, 2024 16:38 5m 47s main
main
July 3, 2024 16:38 5m 47s
check memop flags in binary parser deploy #342: Commit 21cae46 pushed by zapashcanon
July 3, 2024 16:37 5m 6s main
main
July 3, 2024 16:37 5m 6s
add ocamlformat in CI deploy #341: Commit dbb25ab pushed by zapashcanon
July 3, 2024 15:10 4m 54s main
main
July 3, 2024 15:10 4m 54s
simplify rewrite and typecheck deploy #340: Commit 436c000 pushed by zapashcanon
July 3, 2024 15:10 5m 22s main
main
July 3, 2024 15:10 5m 22s
Deactivate macOS CI deploy #339: Commit d27dbdf pushed by zapashcanon
July 3, 2024 14:55 5m 9s main
main
July 3, 2024 14:55 5m 9s
fix warning in CI deploy #338: Commit 0b479c5 pushed by zapashcanon
July 3, 2024 13:59 5m 5s main
main
July 3, 2024 13:59 5m 5s
bump opam-setup v2 -> v3 deploy #337: Commit 69cf76f pushed by zapashcanon
July 3, 2024 13:17 8m 42s main
main
July 3, 2024 13:17 8m 42s
Refactor symbol creation functions deploy #336: Commit ea95a1e pushed by zapashcanon
July 1, 2024 12:20 6m 6s main
main
July 1, 2024 12:20 6m 6s
Install z3 on the CI deploy #335: Commit fbc6d44 pushed by krtab
July 1, 2024 10:25 5m 17s main
main
July 1, 2024 10:25 5m 17s
Remove uneeded option deploy #334: Commit a2e5af4 pushed by zapashcanon
June 27, 2024 12:26 5m 29s main
main
June 27, 2024 12:26 5m 29s
use of owi wat2wasm in Conway's Game of Life example deploy #333: Commit 90d2a83 pushed by zapashcanon
June 27, 2024 09:35 3m 52s main
main
June 27, 2024 09:35 3m 52s
Simplify results handling in main thread. deploy #332: Commit f0bf04d pushed by krtab
June 26, 2024 16:51 5m 39s main
main
June 26, 2024 16:51 5m 39s
Allow passing a filter callback to the scheduler deploy #331: Commit 853bd37 pushed by zapashcanon
June 26, 2024 16:20 3m 51s main
main
June 26, 2024 16:20 3m 51s
Fixes Ptr smtml change deploy #330: Commit 592ab89 pushed by zapashcanon
June 24, 2024 11:23 8m 43s main
main
June 24, 2024 11:23 8m 43s
binary parser, error messages deploy #329: Commit d8117e3 pushed by zapashcanon
June 19, 2024 16:34 3m 41s main
main
June 19, 2024 16:34 3m 41s
disable odoc fatal error deploy #328: Commit 66ef915 pushed by zapashcanon
June 19, 2024 16:25 5m 19s main
main
June 19, 2024 16:25 5m 19s
Add solver argument to testcomp script deploy #327: Commit c8b5a46 pushed by zapashcanon
June 19, 2024 15:41 5m 18s main
main
June 19, 2024 15:41 5m 18s