Skip to content

Actions: yallop/ocaml-ctypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #780 from yallop/const
Ctypes #239: Commit 452c1d1 pushed by yallop
August 10, 2024 12:33 11m 1s master
August 10, 2024 12:33 11m 1s
Add support for 'const' and 'volatile'
Ctypes #238: Pull request #780 synchronize by yallop
August 8, 2024 21:04 7m 49s const
August 8, 2024 21:04 7m 49s
Add support for 'const' and 'volatile'
Ctypes #237: Pull request #780 opened by yallop
August 8, 2024 20:13 14m 56s const
August 8, 2024 20:13 14m 56s
dune: use build_if instead of workaround
Ctypes #236: Pull request #749 synchronize by emillon
July 17, 2024 09:22 10m 52s emillon:build-if
July 17, 2024 09:22 10m 52s
Add Ctypes_memory.keep_alive function
Ctypes #235: Pull request #777 opened by Fizzixnerd
July 10, 2024 20:41 10m 50s Fizzixnerd:keep-alive
July 10, 2024 20:41 10m 50s
Merge pull request #775 from Ant1-Provot/add-carray-iteri
Ctypes #234: Commit 4a134bc pushed by yallop
June 26, 2024 14:49 10m 41s master
June 26, 2024 14:49 10m 41s
Add CArray.iteri
Ctypes #233: Pull request #775 opened by Ant1-Provot
June 26, 2024 08:24 11m 22s Ant1-Provot:add-carray-iteri
June 26, 2024 08:24 11m 22s
Merge pull request #774 from yallop/plus-callback-fix
Ctypes #232: Commit c6cd8eb pushed by yallop
June 8, 2024 07:43 6m 35s master
June 8, 2024 07:43 6m 35s
Fix the plus_callback test.
Ctypes #231: Pull request #774 opened by yallop
June 8, 2024 07:25 7m 30s plus-callback-fix
June 8, 2024 07:25 7m 30s
Update out-of-date URLs
Ctypes #230: Commit 9e6e028 pushed by yallop
June 5, 2024 14:23 10m 17s master
June 5, 2024 14:23 10m 17s
Merge pull request #773 from yallop/remove-broken-lifetime-test
Ctypes #229: Commit 66dd5f0 pushed by yallop
May 20, 2024 06:26 7m 6s master
May 20, 2024 06:26 7m 6s
Merge pull request #771 from yallop/fix-ctypes-top
Ctypes #226: Commit 7a30f08 pushed by yallop
May 18, 2024 13:04 11m 8s master
May 18, 2024 13:04 11m 8s
Merge pull request #772 from yallop/update-ci
Ctypes #225: Commit 2e2788b pushed by yallop
May 18, 2024 13:03 10m 58s master
May 18, 2024 13:03 10m 58s
Update CI configuration
Ctypes #224: Pull request #772 opened by yallop
May 18, 2024 12:49 10m 53s update-ci
May 18, 2024 12:49 10m 53s
Reduce ctypes.top implementation to a single module.
Ctypes #223: Pull request #771 synchronize by yallop
May 17, 2024 16:28 4m 8s fix-ctypes-top
May 17, 2024 16:28 4m 8s
Reduce ctypes.top implementation to a single module.
Ctypes #221: Pull request #771 synchronize by yallop
May 17, 2024 16:18 6m 56s fix-ctypes-top
May 17, 2024 16:18 6m 56s
CI is failing; try Ubuntu 20.04
Ctypes #220: Commit f3032c2 pushed by yallop
May 17, 2024 16:18 7m 11s fix-ctypes-top
May 17, 2024 16:18 7m 11s
Reduce ctypes.top implementation to a single module.
Ctypes #219: Pull request #771 synchronize by yallop
May 17, 2024 16:11 6m 31s fix-ctypes-top
May 17, 2024 16:11 6m 31s
CI is failing; try Ubuntu 22.04
Ctypes #218: Commit 3988eba pushed by yallop
May 17, 2024 16:11 6m 41s fix-ctypes-top
May 17, 2024 16:11 6m 41s
Reduce ctypes.top implementation to a single module.
Ctypes #217: Pull request #771 opened by yallop
May 17, 2024 15:57 10m 36s fix-ctypes-top
May 17, 2024 15:57 10m 36s
Reduce ctypes.top implementation to a single module.
Ctypes #216: Commit 43128a9 pushed by yallop
May 17, 2024 15:55 10m 44s fix-ctypes-top
May 17, 2024 15:55 10m 44s
Merge pull request #767 from prgbln/fix_typos
Ctypes #215: Commit ad4d503 pushed by yallop
March 18, 2024 20:20 14m 26s master
March 18, 2024 20:20 14m 26s