New release.

4 jobs for flocq-3.3.1 in 29 minutes and 56 seconds (queued for 10 minutes and 18 seconds)
latest
Status Job ID Name Coverage
  Build
passed #673899
docker
build-latest

00:05:58

passed #673898
docker
build-minimal

00:12:10

 
  Test
passed #673901
docker
opam-latest

00:04:54

passed #673900
docker
opam-minimal

00:11:47