Skip to content

Actions: OCamlPro/owi

Actions

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

add specific symbolic copysign test build #732: Commit 5e2be1b pushed by krtab
February 22, 2024 15:10 14m 6s main
main
February 22, 2024 15:10 14m 6s
add specific symbolic copysign test deploy #241: Commit 5e2be1b pushed by krtab
February 22, 2024 15:10 5m 59s main
main
February 22, 2024 15:10 5m 59s
Improve style of test/zero_div.wat build #731: Pull request #186 synchronize by krtab
February 22, 2024 15:07 11m 41s krtab:fix_div_zero
krtab:fix_div_zero
February 22, 2024 15:07 11m 41s
Improve style of test/zero_div.wat build #730: Pull request #186 synchronize by krtab
February 22, 2024 12:55 16m 21s krtab:fix_div_zero
krtab:fix_div_zero
February 22, 2024 12:55 16m 21s
Improve style of test/zero_div.wat build #729: Pull request #186 synchronize by krtab
February 22, 2024 12:48 10m 33s krtab:fix_div_zero
krtab:fix_div_zero
February 22, 2024 12:48 10m 33s
remove useless exception deploy #240: Commit e412baf pushed by krtab
February 22, 2024 12:39 19m 39s main
main
February 22, 2024 12:39 19m 39s
remove useless exception build #728: Commit e412baf pushed by krtab
February 22, 2024 12:39 17m 19s main
main
February 22, 2024 12:39 17m 19s
Improve style of test/zero_div.wat build #727: Pull request #186 opened by krtab
February 22, 2024 12:32 15m 11s krtab:fix_div_zero
krtab:fix_div_zero
February 22, 2024 12:32 15m 11s
remove useless exception build #726: Pull request #185 opened by zapashcanon
February 21, 2024 16:38 10m 56s zapashcanon:main
zapashcanon:main
February 21, 2024 16:38 10m 56s
Adapt check that divisor is not zero for the symbolic case build #725: Commit 2ddc25a pushed by zapashcanon
February 21, 2024 16:33 11m 1s main
main
February 21, 2024 16:33 11m 1s
Adapt check that divisor is not zero for the symbolic case deploy #239: Commit 2ddc25a pushed by zapashcanon
February 21, 2024 16:33 6m 17s main
main
February 21, 2024 16:33 6m 17s
symbolic float copysign build #724: Pull request #183 synchronize by krtab
February 21, 2024 16:05 12m 48s epatrizio:add_test_4
epatrizio:add_test_4
February 21, 2024 16:05 12m 48s
symbolic float copysign build #723: Pull request #183 synchronize by epatrizio
February 21, 2024 14:55 14m 42s epatrizio:add_test_4
epatrizio:add_test_4
February 21, 2024 14:55 14m 42s
Adapt check that divisor is not zero for the symbolic case build #722: Pull request #181 synchronize by krtab
February 21, 2024 13:00 10m 30s krtab:fix_div_zero
krtab:fix_div_zero
February 21, 2024 13:00 10m 30s
symbolic float copysign build #721: Pull request #183 opened by epatrizio
February 21, 2024 12:27 16m 24s epatrizio:add_test_4
epatrizio:add_test_4
February 21, 2024 12:27 16m 24s
Adapt check that divisor is not zero for the symbolic case build #720: Pull request #181 synchronize by krtab
February 21, 2024 11:58 10m 23s krtab:fix_div_zero
krtab:fix_div_zero
February 21, 2024 11:58 10m 23s
Adapt check that divisor is not zero for the symbolic case build #719: Pull request #181 synchronize by krtab
February 21, 2024 11:26 10m 58s krtab:fix_div_zero
krtab:fix_div_zero
February 21, 2024 11:26 10m 58s
Adapt check that divisor is not zero for the symbolic case build #718: Pull request #181 synchronize by krtab
February 21, 2024 11:25 14m 36s krtab:fix_div_zero
krtab:fix_div_zero
February 21, 2024 11:25 14m 36s
Adapt check that divisor is not zero for the symbolic case build #717: Pull request #181 opened by krtab
February 21, 2024 11:15 14m 15s krtab:fix_div_zero
krtab:fix_div_zero
February 21, 2024 11:15 14m 15s
Re-enable test store.wat deploy #238: Commit c535389 pushed by zapashcanon
February 20, 2024 16:19 4m 24s main
main
February 20, 2024 16:19 4m 24s
Re-enable test store.wat build #716: Commit c535389 pushed by zapashcanon
February 20, 2024 16:19 10m 16s main
main
February 20, 2024 16:19 10m 16s
Bump actions/cache from 3 to 4 build #715: Commit 5923419 pushed by zapashcanon
February 20, 2024 11:16 13m 18s main
main
February 20, 2024 11:16 13m 18s
Bump actions/cache from 3 to 4 deploy #237: Commit 5923419 pushed by zapashcanon
February 20, 2024 11:16 5m 47s main
main
February 20, 2024 11:16 5m 47s
Bump actions/cache from 3 to 4 build #714: Pull request #180 opened by dependabot bot
February 19, 2024 22:01 9m 44s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
February 19, 2024 22:01 9m 44s
Refactor the Multicore choice monad implementation build #713: Commit 0035201 pushed by zapashcanon
February 19, 2024 16:50 16m 12s main
main
February 19, 2024 16:50 16m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.