Skip to content

Actions: ahrefs/ocannl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
796 workflow runs
796 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tiny update to the changelog
ci #282: Commit c711001 pushed by lukstafi
October 15, 2024 20:09 23s master
October 15, 2024 20:09 23s
Tiny update to the changelog
github pages #285: Commit c711001 pushed by lukstafi
October 15, 2024 20:09 20s master
October 15, 2024 20:09 20s
October 15, 2024 15:05 28s
Fixes sharing update: Hosted Nonconstant -> `Hosted (Changed_on_dev…
github pages #284: Commit 6e11ff9 pushed by lukstafi
October 15, 2024 15:05 22s 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
October 15, 2024 14:40 26s
Fixes #245: report used memory
ci #280: Commit e2780a6 pushed by lukstafi
October 15, 2024 14:40 30s master
October 15, 2024 14:40 30s
get_used_memory depends on the device
ci #279: Commit a09e2d7 pushed by lukstafi
October 15, 2024 11:31 22s master
October 15, 2024 11:31 22s
get_used_memory depends on the device
github pages #282: Commit a09e2d7 pushed by lukstafi
October 15, 2024 11:31 20s master
October 15, 2024 11:31 20s
Untested: a quick approx. get_used_memory
ci #278: Commit 1953872 pushed by lukstafi
October 14, 2024 20:45 25s master
October 14, 2024 20:45 25s
Untested: a quick approx. get_used_memory
github pages #281: Commit 1953872 pushed by lukstafi
October 14, 2024 20:45 28s master
October 14, 2024 20:45 28s
Fixes #286: use Tnode.sharing in the cuda backend
ci #277: Commit bd0dc98 pushed by lukstafi
October 13, 2024 16:30 24s master
October 13, 2024 16:30 24s
Fixes #286: use Tnode.sharing in the cuda backend
github pages #280: Commit bd0dc98 pushed by lukstafi
October 13, 2024 16:30 19s 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
October 13, 2024 07:16 19s
In progress toward #286: type Tnode.sharing
ci #276: Commit be9a299 pushed by lukstafi
October 13, 2024 07:16 24s master
October 13, 2024 07:16 24s
Remove now-unused fields of procedure
github pages #278: Commit cdc7196 pushed by lukstafi
October 11, 2024 19:26 32s master
October 11, 2024 19:26 32s
Remove now-unused fields of procedure
ci #275: Commit cdc7196 pushed by lukstafi
October 11, 2024 19:26 20s master
October 11, 2024 19:26 20s
October 11, 2024 19:20 20s
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
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
October 11, 2024 16:28 31s
October 11, 2024 16:28 27s
Cleanup dead code in the gccjit backend
github pages #275: Commit e866289 pushed by lukstafi
October 11, 2024 14:53 29s master
October 11, 2024 14:53 29s
Cleanup dead code in the gccjit backend
ci #272: Commit e866289 pushed by lukstafi
October 11, 2024 14:53 28s master
October 11, 2024 14:53 28s
October 11, 2024 14:34 26s
Rename backend_utils -> c_syntax, uniformly validate merge nodes
github pages #274: Commit 0f0336b pushed by lukstafi
October 11, 2024 14:34 29s 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
October 11, 2024 11:19 21s