Skip to content

Actions: OCamlPro/owi

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,116 workflow runs
2,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor the Multicore choice monad implementation
deploy #236: Commit 0035201 pushed by zapashcanon
February 19, 2024 16:50 6m 17s main
February 19, 2024 16:50 6m 17s
Re-enable test store.wat
build #712: Pull request #178 synchronize by krtab
February 19, 2024 15:54 9m 11s krtab:reenable_store_wat
February 19, 2024 15:54 9m 11s
Re-enable test store.wat
build #711: Pull request #178 opened by krtab
February 19, 2024 15:53 9m 43s krtab:reenable_store_wat
February 19, 2024 15:53 9m 43s
Multicore monad v2
build #710: Pull request #170 synchronize by krtab
February 19, 2024 13:15 15m 11s krtab:multicore_v2
February 19, 2024 13:15 15m 11s
Multicore monad v2
build #709: Pull request #170 synchronize by krtab
February 19, 2024 11:56 11m 50s krtab:multicore_v2
February 19, 2024 11:56 11m 50s
Multicore monad v2
build #708: Pull request #170 synchronize by krtab
February 19, 2024 11:38 14m 57s krtab:multicore_v2
February 19, 2024 11:38 14m 57s
Fix Symbolic.concretize
build #707: Commit 47d2bc3 pushed by zapashcanon
February 19, 2024 11:27 13m 45s main
February 19, 2024 11:27 13m 45s
Fix Symbolic.concretize
deploy #235: Commit 47d2bc3 pushed by zapashcanon
February 19, 2024 11:27 5m 50s main
February 19, 2024 11:27 5m 50s
Multicore monad v2
build #706: Pull request #170 synchronize by krtab
February 19, 2024 11:26 13m 1s krtab:multicore_v2
February 19, 2024 11:26 13m 1s
Fix Symbolic.concretize
build #705: Pull request #172 synchronize by krtab
February 19, 2024 11:10 15m 1s krtab:fix_concretize
February 19, 2024 11:10 15m 1s
Fix Symbolic.concretize
build #704: Pull request #172 synchronize by krtab
February 19, 2024 11:08 10m 42s krtab:fix_concretize
February 19, 2024 11:08 10m 42s
restore old wording
build #703: Commit 93d4b36 pushed by zapashcanon
February 17, 2024 15:29 5m 19s main
February 17, 2024 15:29 5m 19s
restore old wording
deploy #234: Commit 93d4b36 pushed by zapashcanon
February 17, 2024 15:29 5m 30s main
February 17, 2024 15:29 5m 30s
better error handling
build #702: Pull request #176 synchronize by zapashcanon
February 17, 2024 15:20 9m 38s zapashcanon:bettererror
February 17, 2024 15:20 9m 38s
better error handling
build #701: Pull request #176 synchronize by zapashcanon
February 17, 2024 15:04 14m 37s zapashcanon:bettererror
February 17, 2024 15:04 14m 37s
better error handling
build #700: Pull request #176 synchronize by zapashcanon
February 17, 2024 14:16 12m 10s zapashcanon:bettererror
February 17, 2024 14:16 12m 10s
better error handling
build #699: Pull request #176 opened by zapashcanon
February 17, 2024 13:47 11m 3s zapashcanon:bettererror
February 17, 2024 13:47 11m 3s
Fix Symbolic.concretize
build #698: Pull request #172 synchronize by zapashcanon
February 17, 2024 09:36 16m 54s krtab:fix_concretize
February 17, 2024 09:36 16m 54s
make lint-doc non fatal until odoc is fixed
build #697: Commit b8d28a5 pushed by zapashcanon
February 17, 2024 09:28 44m 13s main
February 17, 2024 09:28 44m 13s
make lint-doc non fatal until odoc is fixed
deploy #233: Commit b8d28a5 pushed by zapashcanon
February 17, 2024 09:28 22m 4s main
February 17, 2024 09:28 22m 4s
refactor symbolic and interpret interface
build #696: Pull request #174 synchronize by zapashcanon
February 17, 2024 09:02 18m 33s zapashcanon:refactosymb
February 17, 2024 09:02 18m 33s
refactor symbolic and interpret interface
build #695: Pull request #174 synchronize by zapashcanon
February 17, 2024 08:17 26m 14s zapashcanon:refactosymb
February 17, 2024 08:17 26m 14s
refactor symbolic and interpret interface
build #694: Pull request #174 synchronize by zapashcanon
February 17, 2024 08:14 21m 3s zapashcanon:refactosymb
February 17, 2024 08:14 21m 3s
refactor symbolic and interpret interface
build #693: Pull request #174 synchronize by zapashcanon
February 17, 2024 08:04 39m 51s zapashcanon:refactosymb
February 17, 2024 08:04 39m 51s
refactor symbolic and interpret interface
build #692: Pull request #174 synchronize by zapashcanon
February 17, 2024 07:47 40m 44s zapashcanon:refactosymb
February 17, 2024 07:47 40m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-02-17 or the other filters available.