Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow run results
184 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clean choice monad build #515: Commit e0d18f2 pushed by zapashcanon
January 21, 2024 16:51 20m 28s main
main
January 21, 2024 16:51 20m 28s
clean choice monad build #514: Pull request #115 synchronize by zapashcanon
January 21, 2024 14:54 21m 13s zapashcanon:cleanchoiceagain
zapashcanon:cleanchoiceagain
January 21, 2024 14:54 21m 13s
clean choice monad build #513: Pull request #115 opened by zapashcanon
January 21, 2024 14:53 40m 53s zapashcanon:cleanchoiceagain
zapashcanon:cleanchoiceagain
January 21, 2024 14:53 40m 53s
Concretise symbolic memory addresses and allow symbolic heap sizes build #512: Pull request #109 synchronize by filipeom
January 19, 2024 22:55 21m 18s filipeom:concretise
filipeom:concretise
January 19, 2024 22:55 21m 18s
more macos ci fix deploy #177: Commit a003b88 pushed by zapashcanon
January 19, 2024 13:38 18m 45s main
main
January 19, 2024 13:38 18m 45s
more macos ci fix build #511: Commit a003b88 pushed by zapashcanon
January 19, 2024 13:38 33m 20s main
main
January 19, 2024 13:38 33m 20s
Add missing crunch dependency build #510: Commit eca0cd8 pushed by zapashcanon
January 19, 2024 13:37 40m 24s main
main
January 19, 2024 13:37 40m 24s
Add missing crunch dependency deploy #176: Commit eca0cd8 pushed by zapashcanon
January 19, 2024 13:37 17m 44s main
main
January 19, 2024 13:37 17m 44s
Add missing crunch dependency build #509: Pull request #110 synchronize by krtab
January 19, 2024 12:20 35m 21s krtab:add_missing_dep
krtab:add_missing_dep
January 19, 2024 12:20 35m 21s
more macos ci build #508: Pull request #114 opened by zapashcanon
January 19, 2024 12:14 28m 39s zapashcanon:macos
zapashcanon:macos
January 19, 2024 12:14 28m 39s
Tentative CI fix on macOS build #507: Pull request #112 opened by krtab
January 19, 2024 10:32 18m 31s krtab:fix_ci
krtab:fix_ci
January 19, 2024 10:32 18m 31s
Add missing crunch dependency build #506: Pull request #110 opened by krtab
January 19, 2024 09:26 24m 58s krtab:add_missing_dep
krtab:add_missing_dep
January 19, 2024 09:26 24m 58s
Concretise symbolic memory addresses and allow symbolic heap sizes build #505: Pull request #109 synchronize by filipeom
January 19, 2024 02:14 17m 58s filipeom:concretise
filipeom:concretise
January 19, 2024 02:14 17m 58s
Concretise symbolic memory addresses and allow symbolic heap sizes build #504: Pull request #109 opened by filipeom
January 19, 2024 02:11 27m 23s filipeom:concretise
filipeom:concretise
January 19, 2024 02:11 27m 23s
fix macos build in CI build #503: Pull request #108 opened by zapashcanon
January 19, 2024 00:14 30m 45s zapashcanon:main
zapashcanon:main
January 19, 2024 00:14 30m 45s
add dep on files installed by owi package to mdx tests that needs to build #502: Commit 73b4502 pushed by zapashcanon
January 18, 2024 23:32 22m 30s main
main
January 18, 2024 23:32 22m 30s
add dep on files installed by owi package to mdx tests that needs to deploy #175: Commit 73b4502 pushed by zapashcanon
January 18, 2024 23:32 17m 37s main
main
January 18, 2024 23:32 17m 37s
stop printing model in select_i32, fix #107 deploy #174: Commit 6d716d2 pushed by zapashcanon
January 18, 2024 23:08 17m 58s main
main
January 18, 2024 23:08 17m 58s
stop printing model in select_i32, fix #107 build #501: Commit 6d716d2 pushed by zapashcanon
January 18, 2024 23:08 21m 4s main
main
January 18, 2024 23:08 21m 4s
[owic] fix malloc alignement build #500: Pull request #104 synchronize by epatrizio
January 18, 2024 16:23 39m 50s epatrizio:fix_malloc
epatrizio:fix_malloc
January 18, 2024 16:23 39m 50s
[owic] fix malloc alignement build #499: Pull request #104 synchronize by epatrizio
January 18, 2024 16:15 33m 19s epatrizio:fix_malloc
epatrizio:fix_malloc
January 18, 2024 16:15 33m 19s
Fixes deploy workflow and removes unecessary open build #498: Pull request #105 synchronize by filipeom
January 18, 2024 12:22 18m 1s filipeom:main
filipeom:main
January 18, 2024 12:22 18m 1s
Fixes deploy workflow and removes unecessary open build #497: Pull request #105 reopened by filipeom
January 18, 2024 12:22 51s filipeom:main
filipeom:main
January 18, 2024 12:22 51s
promote tests deploy #173: Commit a0bf4d7 pushed by filipeom
January 18, 2024 12:19 18m 9s main
main
January 18, 2024 12:19 18m 9s
promote tests build #496: Commit a0bf4d7 pushed by filipeom
January 18, 2024 12:19 18m 28s main
main
January 18, 2024 12:19 18m 28s