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

Formatting update
ci #300: Commit 864cc24 pushed by lukstafi
October 25, 2024 10:07 6m 15s master
October 25, 2024 10:07 6m 15s
pages build and deployment
pages-build-deployment #94: by github-pages bot
October 25, 2024 09:33 41s
October 25, 2024 09:33 41s
Go back to using ints to identify streams
github pages #302: Commit 2806622 pushed by lukstafi
October 25, 2024 09:27 6m 47s master
October 25, 2024 09:27 6m 47s
Go back to using ints to identify streams
ci #299: Commit 2806622 pushed by lukstafi
October 25, 2024 09:27 6m 3s master
October 25, 2024 09:27 6m 3s
pages build and deployment
pages-build-deployment #93: by github-pages bot
October 25, 2024 08:07 51s
October 25, 2024 08:07 51s
October 25, 2024 08:01 9m 56s
A big refactoring of backend_types.ml; CPU allocation and copying n…
github pages #301: Commit 1775098 pushed by lukstafi
October 25, 2024 08:01 6m 28s master
October 25, 2024 08:01 6m 28s
pages build and deployment
pages-build-deployment #92: by github-pages bot
October 22, 2024 15:03 47s
October 22, 2024 15:03 47s
Backends: expose Types.stream from the signatures, implement `work_…
github pages #300: Commit e0515ef pushed by lukstafi
October 22, 2024 14:56 6m 54s master
October 22, 2024 14:56 6m 54s
October 22, 2024 14:56 6m 19s
pages build and deployment
pages-build-deployment #91: by github-pages bot
October 22, 2024 14:19 41s
October 22, 2024 14:19 41s
Backends: Factor out the shared stream fields
github pages #299: Commit 7d020ca pushed by lukstafi
October 22, 2024 14:12 7m 16s master
October 22, 2024 14:12 7m 16s
Backends: Factor out the shared stream fields
ci #296: Commit 7d020ca pushed by lukstafi
October 22, 2024 14:12 5m 54s master
October 22, 2024 14:12 5m 54s
pages build and deployment
pages-build-deployment #90: by github-pages bot
October 22, 2024 11:56 38s
October 22, 2024 11:56 38s
Populate the inputs, outputs of a routine
github pages #298: Commit 8ccd035 pushed by lukstafi
October 22, 2024 11:50 6m 49s master
October 22, 2024 11:50 6m 49s
Populate the inputs, outputs of a routine
ci #295: Commit 8ccd035 pushed by lukstafi
October 22, 2024 11:50 6m 16s master
October 22, 2024 11:50 6m 16s
pages build and deployment
pages-build-deployment #89: by github-pages bot
October 21, 2024 22:14 39s
October 21, 2024 22:14 39s
Get rid of type ctx_array, uniform type ctx_arrays, factor out `w…
github pages #297: Commit 57bc6b7 pushed by lukstafi
October 21, 2024 22:08 6m 28s master
October 21, 2024 22:08 6m 28s
October 21, 2024 22:08 5m 42s
pages build and deployment
pages-build-deployment #88: by github-pages bot
October 21, 2024 18:12 39s
October 21, 2024 18:12 39s
Backends: Unused per-context used_memory
ci #293: Commit a156c25 pushed by lukstafi
October 21, 2024 18:04 5m 51s master
October 21, 2024 18:04 5m 51s
Backends: Unused per-context used_memory
github pages #296: Commit a156c25 pushed by lukstafi
October 21, 2024 18:04 7m 47s master
October 21, 2024 18:04 7m 47s
pages build and deployment
pages-build-deployment #87: by github-pages bot
October 21, 2024 12:02 44s
October 21, 2024 12:02 44s
October 21, 2024 11:56 5m 52s
Backends: Factor out buffer retrieval from copying, finalize design
github pages #295: Commit 50afe3e pushed by lukstafi
October 21, 2024 11:56 6m 50s master
October 21, 2024 11:56 6m 50s