chore(deps): Bump actions/checkout from 5 to 6

Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v5...v6)

---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

* Backport to OCaml 4.12

* Backport to OCaml 4.08

chore: update CHANGES.md for 1.14.0

Avoid partial applications and add some type annotations

Thread safety updates

Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/upload-pages-artifact
dependency-version: '4'
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Thread safety

Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 30 to 31.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Commits](https://github.com/cachix/install-nix-action/compare/v30...v31)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Use a fake implementation of mutexes and domains in this case to avoid a
dependency on the threads library

Basically, we are building an automaton lazily. We use double-checked
locking to avoid acquiring a mutex when traversing a part of the
automaton which has already been computed. The memory model ensures that
we see either an uninitialized state or the initialized state. If we see
the initialized state, we can just proceed. Otherwise, we acquire a
mutex and update the state after checking this has not been done by
another thread.

This is slow, but we can check that TSan reports no data race.

Since other thread can create automaton states with an index larger the
size of the position array, we compare at each step that the current
index fits when running the automaton.

The ocaml compiler (without flambda) does not optimize
`Int.compare x y = 1` into a plain comparison.

Fixes #576

seq has been included in the OCaml stdlib since 4.07, and re's lower
bound is already >=4.12.0

When compiling [(a|b|c)], we used to parse it as:

Re.alt [ x ; Re.alt [ y ; z ] ]

Now, we just flatten the alternation:

Re.alt [ x ; y ; z ]

Fix handling in Re.{Emacs,Str}

An occurrence of the delimiter at the beginning or at the end of the
string is ignored.

Fixes #288, fixes #411.

This allows us to partially match a string and then resume a match from where
we've ended.

the conversion to dyn is good enough