Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate models for every symbol created through the symbolic API build #612: Pull request #149 opened by filipeom
February 6, 2024 14:06 28m 59s filipeom:fix-models
filipeom:fix-models
February 6, 2024 14:06 28m 59s
simplify choice monad build #611: Pull request #147 synchronize by zapashcanon
February 6, 2024 10:51 22m 9s zapashcanon:simplifychoice
zapashcanon:simplifychoice
February 6, 2024 10:51 22m 9s
Make tests a bit more deterministic build #610: Pull request #148 synchronize by krtab
February 6, 2024 09:14 43m 56s krtab:deterministic_tests
krtab:deterministic_tests
February 6, 2024 09:14 43m 56s
Make tests a bit more deterministic build #609: Pull request #148 opened by krtab
February 6, 2024 09:07 44m 41s krtab:deterministic_tests
krtab:deterministic_tests
February 6, 2024 09:07 44m 41s
simplify choice monad build #608: Pull request #147 synchronize by zapashcanon
February 6, 2024 07:48 26m 5s zapashcanon:simplifychoice
zapashcanon:simplifychoice
February 6, 2024 07:48 26m 5s
simplify choice monad build #607: Pull request #147 opened by zapashcanon
February 5, 2024 23:20 28m 28s zapashcanon:simplifychoice
zapashcanon:simplifychoice
February 5, 2024 23:20 28m 28s
Solve concrete bounds checks concretely (Fixes #145) build #606: Commit ffa3c7d pushed by zapashcanon
February 5, 2024 22:31 25m 15s main
main
February 5, 2024 22:31 25m 15s
Solve concrete bounds checks concretely (Fixes #145) deploy #206: Commit ffa3c7d pushed by zapashcanon
February 5, 2024 22:31 18m 21s main
main
February 5, 2024 22:31 18m 21s
Solve concrete bounds checks concretely build #605: Pull request #146 opened by filipeom
February 5, 2024 21:38 41m 38s filipeom:fix-mem-bounds-checks
filipeom:fix-mem-bounds-checks
February 5, 2024 21:38 41m 38s
symbolic tests reviews deploy #205: Commit 934a4b0 pushed by zapashcanon
February 5, 2024 13:45 18m 3s main
main
February 5, 2024 13:45 18m 3s
symbolic tests reviews build #604: Commit 934a4b0 pushed by zapashcanon
February 5, 2024 13:45 31m 41s main
main
February 5, 2024 13:45 31m 41s
Symbolic tests refactoring build #603: Pull request #126 synchronize by epatrizio
February 5, 2024 13:18 26m 6s epatrizio:add_tests
epatrizio:add_tests
February 5, 2024 13:18 26m 6s
switch to digestif deploy #204: Commit e2fbee1 pushed by zapashcanon
February 2, 2024 15:39 18m 17s main
main
February 2, 2024 15:39 18m 17s
switch to digestif build #602: Commit e2fbee1 pushed by zapashcanon
February 2, 2024 15:39 46m 10s main
main
February 2, 2024 15:39 46m 10s
fix pierre deploy #203: Commit a9f445f pushed by zapashcanon
February 2, 2024 15:37 18m 42s main
main
February 2, 2024 15:37 18m 42s
fix pierre build #601: Commit a9f445f pushed by zapashcanon
February 2, 2024 15:37 28m 18s main
main
February 2, 2024 15:37 28m 18s
Avoid mutable state for fresh symbols deploy #202: Commit 3c488af pushed by zapashcanon
February 2, 2024 15:29 18m 10s main
main
February 2, 2024 15:29 18m 10s
Avoid mutable state for fresh symbols build #600: Commit 3c488af pushed by zapashcanon
February 2, 2024 15:29 24m 24s main
main
February 2, 2024 15:29 24m 24s
absent value desc of --workers deterministic build #599: Commit dd5fe59 pushed by krtab
February 1, 2024 14:21 36m 22s main
main
February 1, 2024 14:21 36m 22s
absent value desc of --workers deterministic deploy #201: Commit dd5fe59 pushed by krtab
February 1, 2024 14:21 19m 12s main
main
February 1, 2024 14:21 19m 12s
absent value desc of --workers deterministic build #598: Pull request #142 opened by epatrizio
February 1, 2024 13:35 37m 0s epatrizio:absent_deterministic
epatrizio:absent_deterministic
February 1, 2024 13:35 37m 0s
Make P module a functor deploy #200: Commit 7fc5eb6 pushed by krtab
January 31, 2024 16:08 18m 22s main
main
January 31, 2024 16:08 18m 22s
Make P module a functor build #597: Commit 7fc5eb6 pushed by krtab
January 31, 2024 16:08 23m 39s main
main
January 31, 2024 16:08 23m 39s
Refactor module p build #596: Pull request #125 synchronize by epatrizio
January 31, 2024 15:37 27m 59s epatrizio:refactor_module_p
epatrizio:refactor_module_p
January 31, 2024 15:37 27m 59s
Symbolic tests refactoring build #595: Pull request #126 synchronize by epatrizio
January 31, 2024 11:20 29m 13s epatrizio:add_tests
epatrizio:add_tests
January 31, 2024 11:20 29m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-01-31 or the other filters available.