swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
History
Tip revision: 982365c9b6fa3147e84ce9c417bfc9b3b8ae0130 authored by Raphaël Proust on 20 September 2022, 09:57:15 UTC
Merge branch 'avoid-duplicate-pipelines' into 'master'
Tip revision: 982365c
File Mode Size
misc
src
test
.gitignore -rw-r--r-- 26 bytes
.gitlab-ci.yml -rw-r--r-- 922 bytes
.ocamlformat -rw-r--r-- 390 bytes
CHANGES.md -rw-r--r-- 1.8 KB
LICENSE -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 1.0 KB
data-encoding.opam -rw-r--r-- 1.1 KB
dune-project -rw-r--r-- 75 bytes
dune-workspace -rw-r--r-- 16 bytes

README.md

back to top