Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds memsight memory model build #1443: Pull request #338 synchronize by filipeom
August 4, 2024 15:16 5m 43s filipeom:memsight
filipeom:memsight
August 4, 2024 15:16 5m 43s
Adds memsight memory model check-changelog #419: Pull request #338 synchronize by filipeom
August 4, 2024 15:16 14s filipeom:memsight
filipeom:memsight
August 4, 2024 15:16 14s
pages build and deployment pages-build-deployment #3: by github-pages bot
August 3, 2024 09:09 31s
August 3, 2024 09:09 31s
Add output dir and tables in zulip notification build #1442: Commit 55f7fa8 pushed by zapashcanon
August 3, 2024 09:04 4m 40s main
main
August 3, 2024 09:04 4m 40s
Add output dir and tables in zulip notification deploy #376: Commit 55f7fa8 pushed by zapashcanon
August 3, 2024 09:04 5m 50s main
main
August 3, 2024 09:04 5m 50s
Add output dir and table in zulip notification check-changelog #418: Pull request #395 synchronize by filipeom
August 3, 2024 08:50 12s filipeom:fix-notify
filipeom:fix-notify
August 3, 2024 08:50 12s
Add output dir and table in zulip notification build #1441: Pull request #395 synchronize by filipeom
August 3, 2024 08:50 4m 47s filipeom:fix-notify
filipeom:fix-notify
August 3, 2024 08:50 4m 47s
pages build and deployment pages-build-deployment #2: by github-pages bot
August 3, 2024 00:20 24s
August 3, 2024 00:20 24s
clean code and improve code coverage deploy #375: Commit 9888171 pushed by zapashcanon
August 3, 2024 00:06 7m 4s main
main
August 3, 2024 00:06 7m 4s
clean code and improve code coverage build #1440: Commit 9888171 pushed by zapashcanon
August 3, 2024 00:06 6m 51s main
main
August 3, 2024 00:06 6m 51s
clean code and improve code coverage build #1439: Pull request #403 opened by zapashcanon
August 2, 2024 23:58 7m 1s zapashcanon:coverage
zapashcanon:coverage
August 2, 2024 23:58 7m 1s
clean code and improve code coverage check-changelog #417: Pull request #403 opened by zapashcanon
August 2, 2024 23:58 14s zapashcanon:coverage
zapashcanon:coverage
August 2, 2024 23:58 14s
remove symbolic_memory and use symbolic_memory_concretizing in concolic check-changelog #416: Pull request #402 opened by zapashcanon
August 2, 2024 22:39 13s zapashcanon:concretizing_memory_in_conc
zapashcanon:concretizing_memory_in_conc
August 2, 2024 22:39 13s
remove symbolic_memory and use symbolic_memory_concretizing in concolic build #1438: Pull request #402 opened by zapashcanon
August 2, 2024 22:39 4m 19s zapashcanon:concretizing_memory_in_conc
zapashcanon:concretizing_memory_in_conc
August 2, 2024 22:39 4m 19s
pages build and deployment pages-build-deployment #1: by github-pages bot
August 2, 2024 18:47 33s
August 2, 2024 18:47 33s
install ocb in deploy CI build #1437: Commit a9e4bb7 pushed by zapashcanon
August 2, 2024 18:27 4m 29s main
main
August 2, 2024 18:27 4m 29s
install ocb in deploy CI deploy #374: Commit a9e4bb7 pushed by zapashcanon
August 2, 2024 18:27 20m 51s main
main
August 2, 2024 18:27 20m 51s
install ocb in deploy CI build #1436: Pull request #401 opened by zapashcanon
August 2, 2024 18:27 4m 37s zapashcanon:fixci
zapashcanon:fixci
August 2, 2024 18:27 4m 37s
install ocb in deploy CI check-changelog #415: Pull request #401 opened by zapashcanon
August 2, 2024 18:27 14s zapashcanon:fixci
zapashcanon:fixci
August 2, 2024 18:27 14s
install Z3 in CI for coverage deploy #373: Commit 80c87da pushed by zapashcanon
August 2, 2024 17:49 20m 4s main
main
August 2, 2024 17:49 20m 4s
install Z3 in CI for coverage build #1435: Commit 80c87da pushed by zapashcanon
August 2, 2024 17:49 4m 21s main
main
August 2, 2024 17:49 4m 21s
install Z3 in CI for coverage check-changelog #414: Pull request #400 opened by zapashcanon
August 2, 2024 17:49 15s zapashcanon:fixci
zapashcanon:fixci
August 2, 2024 17:49 15s
install Z3 in CI for coverage build #1434: Pull request #400 opened by zapashcanon
August 2, 2024 17:49 4m 53s zapashcanon:fixci
zapashcanon:fixci
August 2, 2024 17:49 4m 53s
install bisect_ppx before coverage deploy #372: Commit c1ae556 pushed by zapashcanon
August 2, 2024 17:40 7m 1s main
main
August 2, 2024 17:40 7m 1s
install bisect_ppx before coverage build #1433: Commit c1ae556 pushed by zapashcanon
August 2, 2024 17:40 4m 27s main
main
August 2, 2024 17:40 4m 27s