Skip to content

Actions: ahrefs/ocannl

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gh-pages.yml
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More fine-grained refactoring of backend APIs github pages #294: Commit 1416586 pushed by lukstafi
October 20, 2024 12:36 6m 33s master
master
October 20, 2024 12:36 6m 33s
Rename optimize_proc -> optimize, lower_proc -> lower github pages #293: Commit 3cb9936 pushed by lukstafi
October 20, 2024 08:18 6m 25s master
master
October 20, 2024 08:18 6m 25s
Factor out Indexing.Pp_helpers, more interface files github pages #292: Commit 1f2a22b pushed by lukstafi
October 19, 2024 19:28 6m 42s master
master
October 19, 2024 19:28 6m 42s
Fixes #259: break up dependency on ppx_jane github pages #291: Commit 067169f pushed by lukstafi
October 19, 2024 14:36 6m 48s master
master
October 19, 2024 14:36 6m 48s
Get rid of core github pages #290: Commit e8f8eb8 pushed by lukstafi
October 19, 2024 13:58 6m 52s master
master
October 19, 2024 13:58 6m 52s
backends: Get rid of subordinal github pages #289: Commit 4214f83 pushed by lukstafi
October 19, 2024 11:48 6m 46s master
master
October 19, 2024 11:48 6m 46s
Get rid of unsafe_cleanup github pages #288: Commit 0a47d49 pushed by lukstafi
October 17, 2024 10:58 6m 52s master
master
October 17, 2024 10:58 6m 52s
Refactor the multicore device from multi-device to multi-stream; tiny… github pages #287: Commit 651f631 pushed by lukstafi
October 17, 2024 10:31 10m 36s master
master
October 17, 2024 10:31 10m 36s
Factor out Backend_common and Lowered_backend_common github pages #286: Commit a071197 pushed by lukstafi
October 16, 2024 11:34 21s master
master
October 16, 2024 11:34 21s
Tiny update to the changelog github pages #285: Commit c711001 pushed by lukstafi
October 15, 2024 20:09 20s master
master
October 15, 2024 20:09 20s
Fixes sharing update: Hosted Nonconstant -> `Hosted (Changed_on_dev… github pages #284: Commit 6e11ff9 pushed by lukstafi
October 15, 2024 15:05 22s master
master
October 15, 2024 15:05 22s
Fixes #245: report used memory github pages #283: Commit e2780a6 pushed by lukstafi
October 15, 2024 14:40 26s master
master
October 15, 2024 14:40 26s
get_used_memory depends on the device github pages #282: Commit a09e2d7 pushed by lukstafi
October 15, 2024 11:31 20s master
master
October 15, 2024 11:31 20s
Untested: a quick approx. get_used_memory github pages #281: Commit 1953872 pushed by lukstafi
October 14, 2024 20:45 28s master
master
October 14, 2024 20:45 28s
Fixes #286: use Tnode.sharing in the cuda backend github pages #280: Commit bd0dc98 pushed by lukstafi
October 13, 2024 16:30 19s master
master
October 13, 2024 16:30 19s
In progress toward #286: type Tnode.sharing github pages #279: Commit be9a299 pushed by lukstafi
October 13, 2024 07:16 19s master
master
October 13, 2024 07:16 19s
Remove now-unused fields of procedure github pages #278: Commit cdc7196 pushed by lukstafi
October 11, 2024 19:26 32s master
master
October 11, 2024 19:26 32s
Cleanup expected_merge_node(s) after no longer verifying in `device… github pages #277: Commit ef76c9b pushed by lukstafi
October 11, 2024 19:20 21s master
master
October 11, 2024 19:20 21s
Remove verification of merge buffer nodes inside device_to_device github pages #276: Commit 2858d24 pushed by lukstafi
October 11, 2024 16:28 31s master
master
October 11, 2024 16:28 31s
Cleanup dead code in the gccjit backend github pages #275: Commit e866289 pushed by lukstafi
October 11, 2024 14:53 29s master
master
October 11, 2024 14:53 29s
Rename backend_utils -> c_syntax, uniformly validate merge nodes github pages #274: Commit 0f0336b pushed by lukstafi
October 11, 2024 14:34 29s master
master
October 11, 2024 14:34 29s
Move Tnode.task -> Task.t github pages #273: Commit d54b5e0 pushed by lukstafi
October 11, 2024 11:19 21s master
master
October 11, 2024 11:19 21s
Rename Simple_backend -> Lowered_no_device_backend github pages #272: Commit 4c4dd2c pushed by lukstafi
October 11, 2024 10:34 19s master
master
October 11, 2024 10:34 19s
The great renaming: device -> stream, physical device -> device github pages #271: Commit 502ec4e pushed by lukstafi
October 10, 2024 21:08 21s master
master
October 10, 2024 21:08 21s
Refactor backend types into a separate file github pages #270: Commit 58ecce7 pushed by lukstafi
October 10, 2024 16:25 19s master
master
October 10, 2024 16:25 19s