Skip to content

Actions: ahrefs/ocannl

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

In progress: the synchronization graph
ci #324: Commit fb04bc0 pushed by lukstafi
November 15, 2024 11:47 2m 49s master
November 15, 2024 11:47 2m 49s
Forbid changing Shared_cross_stream -> Per_stream
ci #323: Commit 2459d43 pushed by lukstafi
November 14, 2024 20:59 5m 30s master
November 14, 2024 20:59 5m 30s
A small thing
ci #322: Commit a318600 pushed by lukstafi
November 13, 2024 16:05 6m 7s master
November 13, 2024 16:05 6m 7s
A small update to anatomy_of_a_backend.md
ci #321: Commit 30d7be0 pushed by lukstafi
November 10, 2024 21:16 5m 45s master
November 10, 2024 21:16 5m 45s
bin/moons_demo_parallel.ml better settings
ci #320: Commit 30509ec pushed by lukstafi
November 10, 2024 20:21 5m 46s master
November 10, 2024 20:21 5m 46s
Verifying merge nodes should happen at schedule time
ci #319: Commit 9ca154d pushed by lukstafi
November 10, 2024 19:54 6m 3s master
November 10, 2024 19:54 6m 3s
Remove redundant unused type definition
ci #318: Commit 11102da pushed by lukstafi
November 10, 2024 15:09 6m 38s master
November 10, 2024 15:09 6m 38s
Redundant Backend.get_name redefinitions
ci #317: Commit d36ba84 pushed by lukstafi
November 10, 2024 13:54 5m 42s master
November 10, 2024 13:54 5m 42s
November 9, 2024 22:57 6m 6s
Rename unified_memory -> use_host_memory and add more debugging
ci #315: Commit 069322a pushed by lukstafi
November 9, 2024 13:21 6m 1s master
November 9, 2024 13:21 6m 1s
Complete factoring out alloc_if_needed
ci #314: Commit 4f48ac8 pushed by lukstafi
November 8, 2024 09:54 5m 45s master
November 8, 2024 09:54 5m 45s
In progress step 2 of 3: factor out alloc_if_needed
ci #313: Commit 041bc78 pushed by lukstafi
November 4, 2024 22:26 5m 43s master
November 4, 2024 22:26 5m 43s
In progress: factor out alloc_if_needed
ci #312: Commit 0f6feaf pushed by lukstafi
November 4, 2024 08:11 5m 57s master
November 4, 2024 08:11 5m 57s
Fixes #285: update the backends documentation
ci #311: Commit c42347d pushed by lukstafi
November 3, 2024 12:59 5m 49s master
November 3, 2024 12:59 5m 49s
README: update versioning
ci #310: Commit b82c6e7 pushed by lukstafi
November 2, 2024 09:28 5m 41s master
November 2, 2024 09:28 5m 41s
Rename writing_a_backend -> anatomy_of_a_backend
ci #309: Commit 194aa2d pushed by lukstafi
November 2, 2024 09:23 5m 49s master
November 2, 2024 09:23 5m 49s
Split schedulers.ml out of backends.ml
ci #308: Commit e34f941 pushed by lukstafi
November 1, 2024 11:01 9m 2s master
November 1, 2024 11:01 9m 2s
October 31, 2024 10:54 5m 44s
A small cleanup: unpack the backend modules right away
ci #306: Commit b3c8920 pushed by lukstafi
October 28, 2024 11:38 6m 17s master
October 28, 2024 11:38 6m 17s
Bug fix: forgot to keep run_module's lifetime
ci #305: Commit c0ff2e8 pushed by lukstafi
October 28, 2024 10:39 6m 23s master
October 28, 2024 10:39 6m 23s
October 27, 2024 22:15 5m 45s
Split backend_types.ml into backend_intf.ml and backend_impl.ml
ci #303: Commit d9c6d88 pushed by lukstafi
October 25, 2024 20:33 5m 49s master
October 25, 2024 20:33 5m 49s
Backends: Remove now-redundant accessor functions, share get_name
ci #302: Commit 6605dff pushed by lukstafi
October 25, 2024 19:42 5m 50s master
October 25, 2024 19:42 5m 50s
Factor out a shared device record, include stream_state in runner
ci #301: Commit 03c7989 pushed by lukstafi
October 25, 2024 19:14 5m 58s master
October 25, 2024 19:14 5m 58s
Formatting update
ci #300: Commit 864cc24 pushed by lukstafi
October 25, 2024 10:07 6m 15s master
October 25, 2024 10:07 6m 15s