Open
Description
It'd be useful to run a CI cron job, perhaps weekly to detect any failures early on. Similar to the GitHub actions CI in domainslib: https://github.com/ocaml-multicore/domainslib/blob/master/.github/workflows/main.yml
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests