This repository has been archived by the owner on Oct 3, 2024. It is now read-only.

Fix opam-lint warning about synopsis ending with a dot #10

Triggered via push September 25, 2024 19:56

main

Status Success

Total duration 6m 21s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	601 KB