Skip to content

Actions: OCamlPro/owi

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use prelude
deploy #352: Commit ced18a5 pushed by zapashcanon
July 18, 2024 10:29 5m 3s main
July 18, 2024 10:29 5m 3s
importe compile interface
deploy #351: Commit ce702fa pushed by zapashcanon
July 17, 2024 13:52 5m 32s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
June 19, 2024 16:25 5m 19s