Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,427 workflow runs
1,427 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
A handful of tentative performance improvements check-changelog #155: Pull request #295 synchronize by krtab
June 7, 2024 14:23 17s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 14:23 17s
A handful of tentative performance improvements build #1113: Pull request #295 synchronize by krtab
June 7, 2024 14:23 19m 15s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 14:23 19m 15s
A handful of tentative performance improvements build #1112: Pull request #295 synchronize by krtab
June 7, 2024 13:35 19m 37s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 13:35 19m 37s
A handful of tentative performance improvements check-changelog #154: Pull request #295 synchronize by krtab
June 7, 2024 13:35 16s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 13:35 16s
add --solver cli option build #1111: Pull request #299 synchronize by zapashcanon
June 7, 2024 12:46 8m 5s zapashcanon:main
zapashcanon:main
June 7, 2024 12:46 8m 5s
add --solver cli option check-changelog #153: Pull request #299 synchronize by zapashcanon
June 7, 2024 12:46 13s zapashcanon:main
zapashcanon:main
June 7, 2024 12:46 13s
implement the extended const-proposal build #1110: Commit 4d24a89 pushed by zapashcanon
June 7, 2024 12:42 6m 53s main
main
June 7, 2024 12:42 6m 53s
implement the extended const-proposal deploy #310: Commit 4d24a89 pushed by zapashcanon
June 7, 2024 12:42 5m 18s main
main
June 7, 2024 12:42 5m 18s
implement the extended const-proposal build #1109: Pull request #301 opened by Laplace-Demon
June 7, 2024 12:30 8m 2s Laplace-Demon:main
Laplace-Demon:main
June 7, 2024 12:30 8m 2s
implement the extended const-proposal check-changelog #152: Pull request #301 opened by Laplace-Demon
June 7, 2024 12:30 14s Laplace-Demon:main
Laplace-Demon:main
June 7, 2024 12:30 14s
A handful of tentative performance improvements check-changelog #151: Pull request #295 synchronize by krtab
June 7, 2024 08:50 13s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:50 13s
A handful of tentative performance improvements build #1108: Pull request #295 synchronize by krtab
June 7, 2024 08:50 32m 40s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:50 32m 40s
A handful of tentative performance improvements build #1107: Pull request #295 synchronize by krtab
June 7, 2024 08:48 25m 49s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:48 25m 49s
A handful of tentative performance improvements check-changelog #150: Pull request #295 synchronize by krtab
June 7, 2024 08:48 12s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:48 12s
A handful of tentative performance improvements check-changelog #149: Pull request #295 synchronize by krtab
June 7, 2024 08:36 13s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:36 13s
A handful of tentative performance improvements build #1106: Pull request #295 synchronize by krtab
June 7, 2024 08:36 19m 27s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:36 19m 27s
add --solver cli option build #1105: Pull request #299 opened by zapashcanon
June 6, 2024 16:12 7m 8s zapashcanon:main
zapashcanon:main
June 6, 2024 16:12 7m 8s
add --solver cli option check-changelog #148: Pull request #299 opened by zapashcanon
June 6, 2024 16:12 17s zapashcanon:main
zapashcanon:main
June 6, 2024 16:12 17s
Use the right pc build #1104: Commit 9c4ac2b pushed by zapashcanon
June 6, 2024 16:11 7m 12s main
main
June 6, 2024 16:11 7m 12s
Use the right pc deploy #309: Commit 9c4ac2b pushed by zapashcanon
June 6, 2024 16:11 5m 6s main
main
June 6, 2024 16:11 5m 6s
Use the right pc check-changelog #147: Pull request #298 opened by chambart
June 6, 2024 16:08 17s chambart:groumph_pc
chambart:groumph_pc
June 6, 2024 16:08 17s
Use the right pc build #1103: Pull request #298 opened by chambart
June 6, 2024 16:08 8m 5s chambart:groumph_pc
chambart:groumph_pc
June 6, 2024 16:08 8m 5s
allow to run concolic bench build #1102: Commit 2264613 pushed by zapashcanon
June 6, 2024 11:44 7m 55s main
main
June 6, 2024 11:44 7m 55s
allow to run concolic bench deploy #308: Commit 2264613 pushed by zapashcanon
June 6, 2024 11:44 5m 13s main
main
June 6, 2024 11:44 5m 13s
allow to run concolic bench check-changelog #146: Pull request #296 synchronize by zapashcanon
June 6, 2024 11:34 17s zapashcanon:concolicbench
zapashcanon:concolicbench
June 6, 2024 11:34 17s